6 and finale

[phd-thesis.git] / top / lst / example.icl

diff --git a/top/lst/example.icl b/top/lst/example.icl
index 8e90646..4bdf9ef 100644 (file)
--- a/top/lst/example.icl
+++ b/top/lst/example.icl
@@ -38,14 +38,14 @@ tasks =
                           {main=temperature dht}
                        ) dev
                >&> \t->viewSharedInformation
-                       [ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
+                               [ViewAs \i->toString (fromMaybe 0.0 i) +++ "C"] t
                        <<@ Hint "Current Temperature" @! ())
        , ("lightswitch", \dev-> /*\label{lst:example:ls1}*/
                withShared False \sh->
-                       liftmTask (lightswitch sh) dev
+                           liftmTask (lightswitch sh) dev
                        -|| updateSharedInformation [] sh <<@ Hint "Switch")/*\label{lst:example:ls2}*/
        , ("factorial", \dev->
-               updateInformation [] 5 <<@ Hint "Factorial of what?"
+                       updateInformation [] 5 <<@ Hint "Factorial of what?"
                >>? \i->liftmTask (factorial i) dev
                >>- \r->viewInformation [] r <<@ Hint "Result" @! ())
        ]