@hackage / lambda

Interpreters for lambda calculus, calculus of constructions, and more

0.1.0.0

Dependents