severen/sly

A cunning interpreter for the pure untyped λ-calculus.

语言：Haskell · GitHub 星标：5 · Fork：0

话题：computability-theory · functional-programming · haskell · interpreter · lambda-calculus · language · programming-language · programming-language-theory

在 GitHub 上查看原仓库