1 result found Sort:

marvinborner
bruijn marvinborner
0
88
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
298 commits to main branch, last one 15 days ago