idris
-
O
Introduction to Dependent Types with Idris Encoding Program Proofs in Types
Free Download Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski English | March 18, 2023 | ISBN: 1484292588 | 175 pages | MOBI | 0.86 Mb Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming...- OneDDL
- Thread
- dependent encoding idris introduction program proofs types
- Replies: 0
- Forum: Tutorials & eBooks