Bubbler-4/StepULC

Efficient and single-steppable ULC evaluation algorithm

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

话题：algorithm · interpreter · lambda-calculus · untyped-lambda-calculus

在 GitHub 上查看原仓库