GitHub repository: solomon-b/Lambda-Cube
Primary language: Haskell
Description: Single file Lambda Calculus implementations and presentation slides.