-- Some examples for NBE

import "nbe.hs"                                         

-- Church numerals 
 
chaux :: Integer -> Term -> Term -> Term
chaux 0     f x = x
chaux (n+1) f x = App f (chaux n f x)

church :: Integer -> Term
church n = Abs (Abs (chaux n (Var 1) (Var 0)))