scott.mel

one  = (a b -> a)
zero = (a b -> b)

if   = (b t f -> (b t f))

nil  = (co ni -> ni)
cons = (x xs co ni -> (co x xs))

-- little-endian

bzero   = (nil)
bone    = (cons one nil)
btwo    = (cons zero (cons one nil))
bthree  = (cons one (cons one nil))
bfour   = (cons zero (cons zero (cons one nil)))
beight  = (cons zero (cons zero (cons zero (cons one nil))))