updates

[phd-thesis.git] / intro / lst / blink.icl

diff --git a/intro/lst/blink.icl b/intro/lst/blink.icl
index d1f5c3a..aedf0b2 100644 (file)
--- a/intro/lst/blink.icl
+++ b/intro/lst/blink.icl
@@ -19,6 +19,9 @@ where enterDevice :: Task TCPSettings
 
 intBlink :: (Shared sds Int) -> Main (MTask v Int)
        | mtask, lowerSds v & RWShared sds & TC sds () Int Int
+/*
+intBlink :: (Shared sds Int) -> Main (MTask v Int) | mtask v & ...
+*/
 intBlink iInterval =
           declarePin D2 PMOutput \ledPin-> /*\label{lst:intro:declarePin}*/
           lowerSds \mInterval=iInterval/*\label{lst:intro:liftsds}*/