Skip to content

bor0/gidti

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 

Repository files navigation

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