Sui Counter
0
−
+
Reset
logic.sui
; Counter App - Pure Sui Logic
; g0: counter state
; f0: increment
; f1: decrement
; f2: reset
=
g0
0
#
0
0
{
+
g0
g0
1
^
0
}
#
1
0
{
-
g0
g0
1
^
0
}
#
2
0
{
=
g0
0
^
0
}