/LambdaCalculusInterpreters

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

Primary LanguageHaskell

No issues in this repository yet.