2 lines
19 B
Coq
2 lines
19 B
Coq
|
'hello world' puts
|
|
|
'hello world' puts
|