marvinborner/bruijn

:abacus: Programming with pure lambda calculus

语言：Haskell · GitHub 星标：145 · Fork：3

话题：abstract-machine · balanced-ternary · call-by-need · church-encoding · combinatory-logic · de-bruijn · lambda-calculus · programming-language

在 GitHub 上查看原仓库