List of Listings
Chapter 1. Overview
Listing 1.1. Appending lists read from a file (pseudocode)
Listing 1.2. Hello, Idris World! (Hello.idr)
Listing 1.3. A program with a type error
Listing 1.4. Calculating a type, given a Boolean value (FCTypes.idr)
Chapter 2. Getting started with Idris
Listing 2.1. A complete Idris program to calculate average word length (Average.idr)
Listing 2.2. A function to double an Int (Double.idr)
Listing 2.3. A generic type, constrained to numeric types (Generic.idr)
Listing 2.4. Defining quadruple and rotate using a higher-order function (HOF.idr)
Listing 2.5. Local variables with let (Let_Where.idr)
Listing 2.6. Local function definitions with where (Let_Where.idr)
Get Type-Driven Development with Idris now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.