GitHub repository: sandrolovnicki/pLam
Primary language: Haskell
Description: An interpreter for learning and exploring pure λ-calculus