Idris Dependent Types

Apress

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

Independently published

IDRIS 2 PROGRAMMING FOR DEPENDENT TYPE SYSTEMS: Formal software verification and provably correct computation models

Manning Publications

Type-Driven Development with Idris              

Idris for Beginners: How to Explore Dependent Types and Functional Programming (Mastering Emerging Programming Languages Book 52) (English Edition)

Professional Idris Programming: How to Engineer Reliable Systems with Dependent Types at Scale (Mastering Emerging Programming Languages Book 54) (English Edition)

Idris Intermediate Guide: How to Build Type-Safe and Verified Applications with Idris (Mastering Emerging Programming Languages Book 53) (English Edition)

HiTeX Press

Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming (English Edition)