4 lines
30 B
Coq
4 lines
30 B
Coq
|
true [
|
||
|
|
'SPAM' puts
|
||
|
|
] while
|