Idris is a general purpose pure functional programming language with dependent types, suitable for both theorem proving and programming in general. We will present the key features of Idris as well as practical examples using the REPL in Emacs.
dragonli / idris-talk Goto Github PK
View Code? Open in Web Editor NEWTalk for Logic and computation seminar (EAFIT University 2014)