Witch of Git - ivy/blob - ivy-examples/sixty-four.vy

   1 (let (
   2     [zero (lam (f x) x)]
   3     [succ (lam (n) (lam (f x) (f (n f x))))]
   4     [add (lam (m n) (lam (f x) (m f (n f x))))]
   5     [mul (lam (m n) (lam (f x) (m (n f) x)))]
   6     [two (succ (succ zero))]
   7     [four (add two two)]
   8     [_64 (mul (mul four four) four)]
   9 ) (_64 debug zero))