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

   1 (let (
   2     [zero (lam (f x) x)]
   3     [succ (lam (n f x) (f (n f x)))]
   4     [add (lam (m n f x) (m f (n f x)))]
   5     [mul (lam (m n 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))