/lambdacalc

Demo of using the typechecking with constraint rules

Stargazers

No one’s star this repository yet.