gergoerdi/interaction-nets

Haskell implementation of interaction net-based lambda evaluation

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

话题：evaluator · haskell · interaction-nets · lambda-calculus

在 GitHub 上查看原仓库