GitHub repository: Kwasniok/LambdaCalculus
Primary language: Haskell
Description: lambda calculus in haskell