Skip to content

Instantly share code, notes, and snippets.

#lang racket
;;small helper func
(define I
(λ (x) x))
(define succ
(λ (n f x) (f ((n f) x))))
(define empty? null?)
;; doNumberOfTimes, where n is the number, and f(x) is the function
@World2LiveBy
World2LiveBy / LambdaPractice.rkt
Last active December 14, 2017 21:33
Basic implementation of Church Numerals and Compound date in Scheme utilizing lambda calculus
#lang scheme
;;---Lambda Calculus---
(define I
(λ (x) x))
(define K
(λ (x) (λ (y) x)))