gidti

gidti copied to clipboard

Gentle Introduction to Dependent Types with Idris

Welcome to the Git repository of my first self-published book. 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-1723139413