List of Figures
Chapter 1. Overview
Chapter 2. Getting started with Idris
Figure 2.2. A local variable definition: in the expression after the in keyword, x has the value 50.
Chapter 3. Interactive development with types
Chapter 1. Overview
Chapter 2. Getting started with Idris
Figure 2.2. A local variable definition: in the expression after the in keyword, x has the value 50.
Chapter 3. Interactive development with types