11 lines
171 B
Text
11 lines
171 B
Text
|
(def 1 (succ 0))
|
||
|
|
(def 2 (succ 1))
|
||
|
|
(def 3 (succ 2))
|
||
|
|
(def 4 (succ 3))
|
||
|
|
(def 5 (succ 4))
|
||
|
|
(def 6 (succ 5))
|
||
|
|
(def 7 (succ 6))
|
||
|
|
(def 8 (succ 7))
|
||
|
|
(def 9 (succ 8))
|
||
|
|
(def 10 (succ 9))
|