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.