My solutions to the exercises of the "Dependently Typed Programming with Idris 2013" course given by Edwin Brady at IT University, Copenhagen. [1] http://idris-lang.org/archives/253 [2] https://sdg.wikit.itu.dk/Dependently+Typed+Functional+Programming+with+Idris+-+2013