HigherOrderCO / Kind

A modern proof language
https://higherorderco.com
MIT License
3.59k stars 142 forks source link

Allow names to start with the same prefix as keywords #607

Closed developedby closed 4 weeks ago

developedby commented 4 weeks ago

Adds a new parser for names kw_skp that fails if the parsed string is not the entire name.