5 lines
45 B
Coq
5 lines
45 B
Coq
|
1024 [0 >] [
|
||
|
|
dup puts
|
||
|
|
2 / >int
|
||
|
|
] while
|