Idris: A Language with Dependent Types

Speaker: Pierre Beaucamp (https://twitter.com/pierrebeaucamp/)

Topic: Idris (http://www.idris-lang.org/), into the world of Dependent Types

1. What is Idris and what problems is it trying to solve
2. A closer look at dependent types
3. A closer look at theorem proving
4. Real world examples of using Idris.
5. (tentative) hands on tutorial using a small example.

Please share/tweet!