Finite state transitions encoded in Idris.
Going through the Idris tutorial.