Gidti Save
Book: Introduction to Dependent Types with Idris
Project README
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
Open Source Agenda is not affiliated with "Gidti" Project. README Source: bor0/gidti
Stars
74
Open Issues
1
Last Commit
1 year ago
Repository
Homepage
Open Source Agenda Badge
