From 76478dd79705313860c00008cee75c48db814ecc Mon Sep 17 00:00:00 2001
From: Marcin Chrzanowski <marcin.j.chrzanowski@gmail.com>
Date: Sun, 13 May 2018 21:12:57 +0200
Subject: Add examples

---
 good/factorial.mim | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 good/factorial.mim

(limited to 'good/factorial.mim')

diff --git a/good/factorial.mim b/good/factorial.mim
new file mode 100644
index 0000000..61b813f
--- /dev/null
+++ b/good/factorial.mim
@@ -0,0 +1,5 @@
+(letrec (fact : Int -> Int n : Int)
+    (if (= n 0)
+        1
+        (* n (fact (- n 1))))
+    (fact 10))
-- 
cgit v1.2.3