phipsgabler/LambdaCalculus.jl

Representations of lambda terms in a form you can work with

语言：Julia · GitHub 星标：2 · Fork：0

话题：de-bruijn-notation · lambda-calculus · lambda-expressions · locally-nameless

在 GitHub 上查看原仓库