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/partial.mim | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 good/partial.mim

(limited to 'good/partial.mim')

diff --git a/good/partial.mim b/good/partial.mim
new file mode 100644
index 0000000..4e64101
--- /dev/null
+++ b/good/partial.mim
@@ -0,0 +1,5 @@
+(let (add n : Int m : Int) (+ n m)
+(let (inc) (add 1)
+(let (double f : (Int -> Int) n : Int) (f (f n))
+(let (add2) (double inc)
+(add2 40)))))
-- 
cgit v1.2.3