https://github.com/bor0/gidti
Book: Introduction to Dependent Types with Idris
https://github.com/bor0/gidti
books dependent-types idris lambda-calculus theorem-proving type-theory types
Last synced: about 2 months ago
JSON representation
Book: Introduction to Dependent Types with Idris
- Host: GitHub
- URL: https://github.com/bor0/gidti
- Owner: bor0
- License: other
- Created: 2018-08-01T14:49:44.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2023-02-27T15:51:33.000Z (about 3 years ago)
- Last Synced: 2025-05-13T14:31:38.150Z (10 months ago)
- Topics: books, dependent-types, idris, lambda-calculus, theorem-proving, type-theory, types
- Homepage: https://leanpub.com/gidti
- Size: 10.9 MB
- Stars: 78
- Watchers: 8
- Forks: 4
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this 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