Small collection of Idris exercises