Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Dependent types are a powerful concept that allows us to write proof-carrying code. Idris is a programming language that supports dependent types. We will learn about the mathematical foundations, and then write correct software and mathematically prove properties about it.This book aims to be accessible to novices that have no prior experience beyond high school mathematics. Thus, this book is designed to be self-contained.The first part of this book serves as an introduction to the theory behind Idris, while the second part is a practical introduction to Idris with examples.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
Idris, Dependent Types, Type Theory, Coq, Proofs, MathematicsShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1 |
aaaa
Libraries near you:
WorldCat
|
Book Details
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?August 1, 2019 | Edited by bor0 | Edited without comment. |
August 1, 2019 | Created by bor0 | Added new book. |