[Buttons840]

The book is written by the creator of the Idris language. I highly recommend it to those interested in type level programming as well.