robinspollak/LambdaCalculusInterpreters

Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.

语言：Haskell · GitHub 星标：8 · Fork：1

话题：evaluation-scheme · haskell · interpreter · lambda · lambda-calculus · language-learning · languages · pair

在 GitHub 上查看原仓库