⚙️ A simple lambda (λ) calculus interpreter
-
Updated
Sep 12, 2018 - Haskell
#
church-numerals
Here are 7 public repositories matching this topic...
The λ-calculus in Haskell
-
Updated
Jun 5, 2023 - Haskell
Combinatory logic interpreter
-
Updated
Dec 24, 2024 - JavaScript
some stuff about utlc written in clojure
-
Updated
Oct 2, 2015 - Clojure
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
An Elixir module for Church Encoding of numerals
-
Updated
Dec 20, 2024 - Elixir
An implementation of lambda types (Numerals, Booleans, and Pairs)
-
Updated
Jul 13, 2023 - Python
Improve this page
Add a description, image, and links to the church-numerals topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the church-numerals topic, visit your repo's landing page and select "manage topics."