4 books
Introduction to Dependent Types with Idris
Introducing Software Verification with Dafny Language
Introducing Blockchain with Lisp
Gentle Introduction to Dependent Types with Idris