search

HigherOrderCO / Kind

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

Improve parser error messages #538

Closed aripiprazole closed 2 months ago

aripiprazole commented 1 year ago 
          Improve this error message

_Originally posted by @aripiprazole in https://github.com/HigherOrderCO/Kind/pull/537#discussion_r1153572056_