-- examples in "Type-Driven Development with Idris"
-- chapter 14

-- check that all functions are total
%default total

--
-- section 14.1
-- see DoorJam.idr
--

--
-- section 14.2
-- see ATM.idr
--

-- section 14.3
-- see Hangman.idr
--
