From 4b7ec571897453b48ffd9b2a0e827751a8b81ffc Mon Sep 17 00:00:00 2001
From: vonaka <vonssung@gmail.com>
Date: Wed, 4 Jul 2018 12:12:05 +0200
Subject: [PATCH] Add FStar example.

---
 f/fstar.fst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 f/fstar.fst

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