diff --git a/f/fstar.fst b/f/fstar.fst
new file mode 100644
index 00000000..6abeec3c
--- /dev/null
+++ b/f/fstar.fst
@@ -0,0 +1,3 @@
+module Hello
+
+let main = FStar.IO.print_string "Hello World\n"
\ No newline at end of file