church-numerals

Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.

Peano-Church Numerals

⚙️ A simple lambda (λ) calculus interpreter

The λ-calculus in Haskell

An Elixir module for Church Encoding of numerals

some stuff about utlc written in clojure

A Lambda Calculus interpreter implemented in C.

The purpose of this programming lab is to implement five primitive recursive functions using the data type Nat and the recursor recNat in Haskell.

An implementation of lambda types (Numerals, Booleans, and Pairs)