A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
语言:Haskell · GitHub 星标:11 · Fork:1
在 GitHub 上查看原仓库