purescript-contrib/purescript-machines

Finite state machines, including Mealy machines, for modeling computations