church-numerals

There are 0 repository under church-numerals topic.

jimouris / lambda-calculus-interpreter
⚙️ A simple lambda (λ) calculus interpreter
church-numerals haskell lambda lambda-calculus lambda-calculus-interpreter
Language:Haskell 10
flandrade / lambda-calculus-haskell
The λ-calculus in Haskell
beta-reduction church-encoding church-numerals haskell lambda-calculus
Language:Haskell 4
kbaird / church-numerals
An Elixir module for Church Encoding of numerals
church-numerals elixir lambda-calculus
Language:Elixir 1
ltics / utlclj
some stuff about utlc written in clojure
untyped-lambda-calculus church-numerals clojure
Language:Clojure 1
tom-weatherhead / facility
A Lambda Calculus interpreter implemented in C.
c interpreter lambda-calculus de-bruijn-notation graph-reduction beta-reduction church-numerals y-combinator
Language:C 1
4kmartin / LambdaCalculus
An implementation of lambda types (Numerals, Booleans, and Pairs)
church-numerals lambda-calculus naive-implementations
Language:Python 0