blob: 2b1a1b406d80da36fb1fc5619e07ba838ebc6fb8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
succ (succ (succ (succ (succ (succ (succ (succ (succ (succ zero)))))))))
succ (succ (succ (succ (succ (succ (succ (succ (succ zero))))))))
succ (succ (succ (succ (succ (succ (succ (succ zero)))))))
succ (succ (succ (succ (succ (succ (succ zero))))))
succ (succ (succ (succ (succ (succ zero)))))
succ (succ (succ (succ (succ zero))))
succ (succ (succ (succ zero)))
succ (succ (succ zero))
succ (succ zero)
succ zero
zero
succ (succ zero)
|
