bor0 / gidti

Book: Introduction to Dependent Types with Idris
https://leanpub.com/gidti
Other
76 stars 4 forks source link
books dependent-types idris lambda-calculus theorem-proving type-theory types

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