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!