8 lines
206 B
Text
8 lines
206 B
Text
|
main(IO0, IO) :-
|
||
|
|
io.write_string("Hello, ", IO0, IO1),
|
||
|
|
io.write_string("world!\n", IO1, IO).
|
||
|
|
|
||
|
|
main(!IO) :-
|
||
|
|
io.write_string("Hello, ", !IO),
|
||
|
|
io.write_string("world!\n", !IO).
|