search

HigherOrderCO / Kind

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

Sort kind names after loading all files #361

Closed developedby closed 1 year ago

developedby commented 2 years ago

This prevents the HVM rules from being generated in different order every time.

Refresh the checker.hvm file to be in the new sorted order

developedby commented 2 years ago

Closes https://github.com/Kindelia/Kind2-before-merge/issues/46

I could have made sure that all files are loaded always in the same order, but I did it this way so that even after changing the contents of files, the rules would still be created in the same order, which helps maintain git diffs small.

developedby commented 1 year ago

Not applicable anymore in the new versions