Edomata is a lightweight, purely functional library for implementing event-driven automata and event...