]> Witch of Git - ivy/blob - ivy-examples/sixty-four.vy
[rt] Split the runtime into multiple modules
[ivy] / 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))