slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

语言：Haskell · GitHub 星标：469 · Fork：18

话题：church · church-encoding · computability · computability-theory · functional-programming · interpreter · lambda · lambda-calculus

在 GitHub 上查看原仓库