church-numerals

There are 7 repositories under church-numerals topic.

jimouris/lambda-calculus-interpreter
⚙️ A simple lambda (λ) calculus interpreter
Language:Haskell10 4 05
flandrade/lambda-calculus-haskell
The λ-calculus in Haskell
Language:Haskell4 2 00
dallaylaen/ski-interpreter
Combinatory logic interpreter
Language:JavaScript2 1 00
kbaird/church-numerals
An Elixir module for Church Encoding of numerals
Language:Elixir1 1 00
ltics/utlclj
some stuff about utlc written in clojure
Language:Clojure1 2 00
tom-weatherhead/facility
A Lambda Calculus interpreter implemented in C.
Language:C1 2 00
4kmartin/LambdaCalculus
An implementation of lambda types (Numerals, Booleans, and Pairs)
Language:Python0 1 00