From 78636495692cc41761ad58f10b4479b6f06bdbaf Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Sat, 25 Apr 2015 12:18:42 +0200
Subject: finally, week2 done:)

---
 fp2/week2/ReturnEnBind.icl | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 fp2/week2/ReturnEnBind.icl

(limited to 'fp2/week2/ReturnEnBind.icl')

diff --git a/fp2/week2/ReturnEnBind.icl b/fp2/week2/ReturnEnBind.icl
deleted file mode 100644
index 0bece5f..0000000
--- a/fp2/week2/ReturnEnBind.icl
+++ /dev/null
@@ -1,19 +0,0 @@
-module ReturnEnBind
-
-import StdEnv, Random
-
-Start = 42
-
-(bind1) infix 0 :: (St s a) (a -> (St s b)) -> St s b
-//(bind1) infix 0 :: (s -> *(a,s)) (a -> (a -> *(a,s))) -> (s -> *(b,s))
-(bind1) f1 f2 = \st0 f2 (fst (f1 st0) (snd (f1 st0))
-//	(r, st1) = f1 st0
-//(bind) f f2 :== \st0 -> let (r,st1) = f st0
-//	 in f2 r st1
-
-
-som2 :: (RandomSeed -> (Int,RandomSeed))
-som2 ...
-
-seqList1 :: [St s a] -> St s [a]
-seqList1 ...
-- 
cgit v1.2.3