search

HigherOrderCO / Kind1

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

Improve parser error messages #538

Closed aripiprazole closed 1 month ago

aripiprazole commented 1 year ago 
          Improve this error message

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