1/1: Building DoorJam (DoorJam.idr)
1/1: Building ATM (ATM.idr)
1/1: Building Hangman (Hangman.idr)