update s9

diff --git a/a9/mart/skeleton9.icl b/a9/mart/skeleton9.icl
index 36893a8..9230c3a 100644 (file)
--- a/a9/mart/skeleton9.icl
+++ b/a9/mart/skeleton9.icl
@@ -1,5 +1,6 @@
 module skeleton9\r
-\r
+//One does not go over 80chars.\r
+//the true lambda character is the .\r
 \r
 from iTasks import always, hasValue, :: TaskValue(..), :: Task, :: Stability,\r
        :: TaskCont(..), :: Action, updateInformation, viewInformation, class\r
@@ -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)\r
 evalExpr expr st = let (Sem func) = eval expr in func st\r
 \r
-//Start = size (integer 42)\r
 Start = evalExpr (size (variable "x")) st\r
        where\r
                (_, st) = evalExpr ("x" =. size (insert (integer 42) new)) newMap\r