1 result found Sort:

slovnicki
pLam slovnicki
17
449
mit
9
An interpreter for learning and exploring pure λ-calculus
church lambda language interpreter computability church-encoding lambda-calculus numeral-systems logic-programming computability-theory programming-language functional-programming
Created 2017-08-05
269 commits to master branch, last one 3 years ago