Software Development, Fpga Design, Hardware, Programming, IoT.
turnstile is now a Moore machine, where the outputs are as predictable as the orbits of the planets, and the transitions as logical as the theorems of Euclid: data TurnstileState = Locked | Unlocked data TurnstileInput = Coin | Push data TurnstileOutput = Alarm | ThankYou transitionFn ::