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: 25 days 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 (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2023-02-27T15:51:33.000Z (over 1 year ago)
• Last Synced: 2024-03-01T16:38:04.665Z (4 months ago)
• Topics: books, dependent-types, idris, lambda-calculus, theorem-proving, type-theory, types
• Homepage: https://leanpub.com/gidti
• Size: 10.9 MB
• Stars: 73
• Watchers: 9
• Forks: 4
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Lists

• awesome-stars - bor0/gidti - Book: Introduction to Dependent Types with Idris (Others)
• awesome-stars - bor0/gidti - Book: Introduction to Dependent Types with Idris (Others)

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