7 lines
78 B
Coq
7 lines
78 B
Coq
|
[myfn
|
||
|
|
[zero? not] [swap puts pred]
|
||
|
|
while
|
||
|
|
].
|
||
|
|
|
||
|
|
100 200 300 400 500 3 myfn
|