Fix current code with the new syntax tree - Githubissues

HigherOrderCO / Kind

A modern proof language

https://higherorderco.com

MIT License

3.59k stars 142 forks source link

Fix current code with the new syntax tree #515

Closed aripiprazole closed 1 year ago