diff --git a/hello_world.ml b/hello_world.ml new file mode 100644 index 0000000..7e8af39 --- /dev/null +++ b/hello_world.ml @@ -0,0 +1 @@ +print_string "hello world\n";;