1 result found Sort:

marvinborner
bruijn marvinborner
0
91
mit
6
:abacus: Programming with pure lambda calculus
de-bruijn call-by-need church-encoding lambda-calculus abstract-machine balanced-ternary combinatory-logic programming-language
Created 2022-06-17
301 commits to main branch, last one about a month ago