4 lines
145 B
Text
4 lines
145 B
Text
:- pred greet(string::in, io::di, io::uo) is det.
|
|
greet(Who, !IO) :-
|
|
io.write_string("Hello", !IO),
|
|
io.format(", %s!\n", [s(Who)], !IO).
|