Introduction to Dependent Types with Idris: Encoding Program Proofs in Types

cover

@book{Sitnikovski_2023,
    title = {Introduction to Dependent Types with Idris: Encoding Program Proofs in Types},
    isbn = {9781484292594},
    url = {http://dx.doi.org/10.1007/978-1-4842-9259-4},
    doi = {10.1007/978-1-4842-9259-4},
    publisher = {Apress},
    author = {Sitnikovski, Boro},
    year = {2023},
    date-added = {2026-2-10 11:36:8 +0100}
}

@book{Sitnikovski_2023, title = {Introduction to Dependent Types with Idris: Encoding Program Proofs in Types}, isbn = {9781484292594}, url = {http://dx.doi.org/10.1007/978-1-4842-9259-4}, doi = {10.1007/978-1-4842-9259-4}, publisher = {Apress}, author = {Sitnikovski, Boro}, year = {2023}, date-added = {2026-2-10 11:36:8 +0100} }