@hackage / glambda

A simply typed lambda calculus interpreter, written with GADTs

1.0.2

Security Advisories

No advisories found.