7 lines
169 B
Coq
7 lines
169 B
Coq
|
|
100 seq [
|
||
|
|
[15 [pop 'fizzbuzz' puts]]
|
||
|
|
[5 [pop 'buzz' puts]]
|
||
|
|
[3 [pop 'fizz' puts]]
|
||
|
|
[1 [puts]]] [func dup] step
|
||
|
|
[i true] map pop
|