search

vekatze / neut

A functional programming language with static memory management
https://vekatze.github.io/neut/
MIT License
840 stars 11 forks source link

fix: impose the affine constraint on the freevars of `PiIntroFix` #212

Closed vekatze closed 1 month ago