Introduction to Dependent Types with Idris
Welcome to the Git repository of my first self-published book (later re-published with Apress). You can access the book homepage at https://leanpub.com/gidti.
Feel free to make contributions to it by either filing an issue or a pull request. As a contributor, you can e-mail me if you want to be included in the book.
The book is dedicated to my wife Dijana, and our kids.
ISBN: 978-1484292587