My solutions to Idris tutorial