Sui Counter

0

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 }