Arithmetic.lc

   1 import Logic
   2 Succ=\n f x.(f ((n f) x))
   3 Zero=\f x.x
   4 One=(Succ Zero)
   5 Two=(Succ One)
   6 Three=(Succ Two)
   7 Add=\n m f x.((n f) ((m f) x))
   8 Mult=\n m f.(n (m f))
   9 IsZero=\n x y.((n \z.y) x)
  10 ((Add Two) Three)
  11 ((Mult Two) Three)
  12 (PrintBool (IsZero Zero))
  13 (PrintBool (IsZero ((Add One) Two)))