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))