liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
Star
Fork 2
Watch

The term syntax overhaul: mixfix parser and pretty printer master
Author Liam O'Connor Date Commit d34d3a59 Parent 4ac9c60b