GitHub repository: solomon-b/lambda-calculus-hs
Primary language: Haskell
Description: Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques