search

HigherOrderCO / Kind

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

Accept multiple files on check command #360

Closed developedby closed 1 year ago

developedby commented 2 years ago

Useful to check all files in a folder after adding many things or changing something that could break many other functions.

developedby commented 2 years ago

Accidentally messed the branch, but it's back now

developedby commented 1 year ago

Would need a complete rewrite of the patch to work on the new compiler version