:- module main.:- interface.:- import_module io.:- pred main(io::di, io::uo) is det.:- implementation.main(!IO) :- io.write_string("Hello World!", !IO).

Run Settings
LanguageMercury
Language Version
Run Command
:- module main. :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. :- implementation. main(!IO) :- io.write_string("Hello World!", !IO).
Editor Settings
Theme
Key bindings
Full width
Lines