7 lines
206 B
Text
7 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).
|