diff options
| author | Mart Lubbers | 2015-04-25 12:18:42 +0200 |
|---|---|---|
| committer | Mart Lubbers | 2015-04-25 12:18:42 +0200 |
| commit | 78636495692cc41761ad58f10b4479b6f06bdbaf (patch) | |
| tree | add78181b03a26e53e210eeea7f5278492218bd1 /fp2/week2/ReturnEnBind.icl | |
| parent | Added Test (copy line from file to other file) (diff) | |
finally, week2 done:)
Diffstat (limited to 'fp2/week2/ReturnEnBind.icl')
| -rw-r--r-- | fp2/week2/ReturnEnBind.icl | 19 |
1 files changed, 0 insertions, 19 deletions
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 ...
|