search

HigherOrderCO / Kind

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

Update basic function names for kindex update #575

Closed algebraic-dev closed 1 year ago

algebraic-dev commented 1 year ago

Based on @developedby PR but extending it with new version for the HVM and Kind