Best books for learning Idris

Type-Driven Development with Idris

Gentle Introduction to Dependent Types with Idris