Past Meetup

Idris: A Language with Dependent Types

This Meetup is past

23 people went

Location image of event venue


Speaker: Pierre Beaucamp (

Topic: Idris (, 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!