Skip to content

Latest commit

 

History

History
9 lines (6 loc) · 483 Bytes

README.md

File metadata and controls

9 lines (6 loc) · 483 Bytes

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