From 69977392ea3197c416b3702b20635c49ba0a3a1b Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Sun, 9 Jul 2017 13:38:37 +0200 Subject: [PATCH] update --- pres.system.tex | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/pres.system.tex b/pres.system.tex index f4c71ab..f45abbe 100644 --- a/pres.system.tex +++ b/pres.system.tex @@ -438,8 +438,11 @@ blink = makeDevice "stm32" stm32 >>= connectDevice where stm32 = makeDevice "Stm32" (SerialDevice {devicePath="/dev/ttyUSB0", baudrate=B9600, ...} - blinkTask = sds \led=LED1 In sds \x=True In - {main = IF x (ledOff led) (ledOn led) :. x =. Not x } + blinkTask = sds \led=LED1 In sds \x=True In {main = + ledOn LED1 :. ledOn LED2 :. ledOn LED3 :. + IF x (ledOff led) (ledOn led) :. + x =. Not x + } \end{lstlisting} \end{frame} -- 2.20.1