Explore: Idris
Discover books, insights, and more — all in one place.
Learn more about Idris with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “idris”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Gentle Introduction to Dependent Types with Idris
“Gentle Introduction to Dependent Types with Idris” Metadata:
- Title: ➤ Gentle Introduction to Dependent Types with Idris
- Number of Pages: Median: 133
- Publisher: Leanpub
- Publish Date: 2018
“Gentle Introduction to Dependent Types with Idris” Subjects and Themes:
- Subjects: ➤ Idris - Dependent Types - Type Theory - Coq - Proofs - Mathematics
Edition Identifiers:
- The Open Library ID: OL27254849M
- All ISBNs: 9781723139413 - 1723139416
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Gentle Introduction to Dependent Types with Idris at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.