Untitled

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 Locos!", !IO).
Editor Settings
Theme
Key bindings
Full width
Lines