diff --git a/HelloWorld.ml b/HelloWorld.ml
new file mode 100644
index 0000000..bb7a2d2
--- /dev/null
+++ b/HelloWorld.ml
@@ -0,0 +1 @@
+print_string "Hello world!\n";;