Type-Driven Development with Idris

Idris is a pure Functional Programming language with Dependent Types

References:

Brady, Edwin. 2017. Type-Driven Development with Idris. Simon and Schuster.