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