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...