From: Mart Lubbers <mart@martlubbers.net>
Date: Fri, 20 Nov 2015 16:16:15 +0000 (+0100)
Subject: update s9
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=e76128d1876a988f8d22c4e1e1750a4aa6d65eb2;p=ap2015.git

update s9
---

diff --git a/a9/mart/skeleton9.icl b/a9/mart/skeleton9.icl
index 36893a8..9230c3a 100644
--- a/a9/mart/skeleton9.icl
+++ b/a9/mart/skeleton9.icl
@@ -1,5 +1,6 @@
 module skeleton9
-
+//One does not go over 80chars.
+//the true lambda character is the .
 
 from iTasks import always, hasValue, :: TaskValue(..), :: Task, :: Stability,
 	:: TaskCont(..), :: Action, updateInformation, viewInformation, class
@@ -165,7 +166,6 @@ eval (Oper _ e1 o e2) = eval e1 >>. \a.eval e2 >>. \b.return (I (case o of
 evalExpr :: (Expr a) State -> (MaybeEx Val, State)
 evalExpr expr st = let (Sem func) = eval expr in func st
 
-//Start = size (integer 42)
 Start = evalExpr (size (variable "x")) st
 	where
 		(_, st) = evalExpr ("x" =. size (insert (integer 42) new)) newMap