repo for learning the Idris programming language & dependent types