Merge pull request #469 from vonaka/master

Add FStar example.
2018-07-16 12:16:02 -05:00
parent f1e51c6ae4 4b7ec57189
commit 45d432dfc9
1 changed files with 3 additions and 0 deletions
--- a/f/fstar.fst
+++ b/f/fstar.fst
@@ -0,0 +1,3 @@
+module Hello
+
+let main = FStar.IO.print_string "Hello World\n"