#

y-combinator

Here is 1 public repository matching this topic...

tom-weatherhead / facility

A Lambda Calculus interpreter implemented in C.

c interpreter lambda-calculus graph-reduction beta-reduction y-combinator de-bruijn-notation church-numerals

Updated Aug 27, 2022
C

Improve this page

Add a description, image, and links to the y-combinator topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the y-combinator topic, visit your repo's landing page and select "manage topics."