IdrisHangman Book: Type-Driven Development with Idris (Edwin Brady) Chapter 9.2 Expressing program state in types: a guessing game Code located in: IdrisHangman/src/Hangman.idr