Add FStar example.

2018-07-04 12:12:05 +02:00
parent 4b5ff1ef90
commit 4b7ec57189
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"