Idris

The Idris dependently typed programming language

Talks (2)

Examples of Easy Dependently Typed Programming (in Idris)

Talk 21:00 Examples of Easy Dependently Typed Programming (in Idris)

Lambda Days 2023

Secrets of Type Driven Program Synthesis

Talk 50:00 Secrets of Type Driven Program Synthesis

Lambda Days 2021