You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
26 lines
439 B
Plaintext
26 lines
439 B
Plaintext
open Arduinolib
|
|
|
|
node led<<period, ledMax : int; opin : int>>() returns ()
|
|
var i : int;
|
|
ledTime : int;
|
|
upt : bool;
|
|
downt : bool;
|
|
|
|
let
|
|
i = 0 fby (i+1);
|
|
ledTime = i % period;
|
|
upt = ledTime < ledMax;
|
|
downt = not upt;
|
|
|
|
() = dwrite((opin, true) when upt);
|
|
() = dwrite((opin, false) when downt);
|
|
tel
|
|
|
|
node main() returns ()
|
|
let
|
|
() = led<<3, 1, 13>>();
|
|
() = led<<4, 2, 9>>();
|
|
() = led<<3, 1, 5>>();
|
|
tel
|
|
|