From a7d7542dc646a5fd124ef71e71ce260889f1701b Mon Sep 17 00:00:00 2001 From: Camil Staps Date: Tue, 2 Feb 2016 19:24:50 +0100 Subject: Moved to 1415 directory --- 1415/files/practicum/ReturnEnBind.icl | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 1415/files/practicum/ReturnEnBind.icl (limited to '1415/files/practicum/ReturnEnBind.icl') diff --git a/1415/files/practicum/ReturnEnBind.icl b/1415/files/practicum/ReturnEnBind.icl new file mode 100644 index 0000000..c6cf089 --- /dev/null +++ b/1415/files/practicum/ReturnEnBind.icl @@ -0,0 +1,14 @@ +module ReturnEnBind + +import StdEnv, Random + +Start = 42 + +(bind1) infix 0 :: (St s a) (a -> (St s b)) -> St s b +(bind1) f1 f2 = ... + +som2 :: (RandomSeed -> (Int,RandomSeed)) +som2 ... + +seqList1 :: [St s a] -> St s [a] +seqList1 ... -- cgit v1.2.3