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