/LambdaLang

A small core lambda language, consisting of the lambda calculus with booleans and integers.

Primary LanguageHaskell

Stargazers

No one’s star this repository yet.