Notes and exercises for book Type Driven Development with Idris
- Overview
- Getting Started with Idris ; Exercises
- Interactive Development with Types ; Exercises
- User Defined Datatypes ; Exercises ; datastore
- Interactive Programs ; Exercises
- Programming with First-Class Types ; Exercises ; datastore
- Interfaces: using constrained generic types ; Exercises
- Equality: expressing relationships between data ; Exercises
- Predicates: expressing assumptions and contracts in types ; Exercises
- Views: Extending Pattern Matching ; Exercises