Skip to content

Instantly share code, notes, and snippets.

View rahulr92's full-sized avatar

Rahul Raveendranath rahulr92

18 followers · 30 following
View GitHub Profile
@rahulr92
rahulr92 / lambda-calculus.clj
Created January 2, 2018 07:39
Church encoding in lambda-calculus. Examples based on the following talk (rewritten in Clojure) - https://www.youtube.com/watch?v=7BsfMMYvGaU
(ns rahul.lambda-calculus)
;; Church Numerals
(def zero (fn [f]
(fn [x]
x)))
(def one (fn [f]
(fn [x]
(f x))))