List of Listings
Chapter 1. Overview
Chapter 2. Getting started with Idris
Chapter 3. Interactive development with types
Chapter 4. User-defined data types
Chapter 1. Overview
Chapter 2. Getting started with Idris
Chapter 3. Interactive development with types
Chapter 4. User-defined data types