Merge pull request #105 from ok100/master

Added Mercury helloworld
2014-06-20 01:54:19 -04:00
parent 9814b22439 c5b716d06d
commit 3ce1ccc1ed
1 changed files with 8 additions and 0 deletions
--- a/m/mercury.m
+++ b/m/mercury.m
@@ -0,0 +1,8 @@
+:- module hello.
+:- interface.
+:- import_module io.
+:- pred main(io::di, io::uo) is det.
+
+:- implementation.
+main(!IO) :-
+	io.write_string("Hello, World!\n", !IO).