Fix code with the new style syntax tree names and lexemes - Githubissues

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.58k stars 142 forks source link

Fix code with the new style syntax tree names and lexemes #518

Closed aripiprazole closed 1 year ago