search

HigherOrderCO / Kind

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

Update basic function names for Kindex update #570

Closed developedby closed 1 year ago

developedby commented 1 year ago

Depends on https://github.com/HigherOrderCO/HVM/pull/249

algebraic-dev commented 1 year ago

The Kindex needs the 1.0.8 version of HVM I guess that fix tests and some issues.

developedby commented 1 year ago

Closes #572

algebraic-dev commented 1 year ago

I'm going to change the target of this PR to a separate branch based on the issue just to fix somethings.