blob: 9ce21590356bb3c1d4df39502081787312fe8628 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
succ (succ (succ zero))
succ (succ zero)
succ zero
zero
plus (succ zero) (succ zero)
plus (succ zero) zero
plus zero (succ zero)
plus zero zero
succ (plus (succ zero) (succ zero))
succ (plus (succ zero) zero)
succ (plus zero (succ zero))
succ (plus zero zero)
succ (succ (plus (succ zero) (succ zero)))
succ (succ (plus (succ zero) zero))
succ (succ (plus zero (succ zero)))
succ (succ (plus zero zero))
|
