@hackage / lambda

Interpreters for lambda calculus, calculus of constructions, and more

Latest0.1.0.0

Changelog

Revision history for lambda

0.1.0.0 -- 2022-07-27

  • First version. Released on an unsuspecting world.