ucsd-progsys/elsa

Elsa is a lambda calculus evaluator

语言：Haskell · GitHub 星标：194 · Fork：25

话题：haskell · haskell-learning · lambda-calculus · reduction

在 GitHub 上查看原仓库