“– Encyclopaedia of Virology FOURTH EDition 4th (PDF/EPUB Version)” has been added to your cart. Continue shopping

“’Pataphysics Unrolled (PDF/EPUB Version)” has been added to your cart. Continue shopping

“‘Greater India’ and the Indian Expansionist Imagination, c. 1885–1965: The Rise and Decline of the Idea of a Lost Hindu Empire (PDF/EPUB Version)” has been added to your cart. Continue shopping

“(In)visible Acts of Resistance in the Twilight of the Franco Regime: A Historical Narration (PDF/EPUB Version)” has been added to your cart. Continue shopping

Click to enlarge

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (PDF/EPUB Version)

$19.99

Add to wishlist

Description

Description

Author: Boro Sitnikovski
Series:
Publisher: Apress
Year: 2023
Edition: 1
Language: English
ISSN:

Menu
Categories

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (PDF/EPUB Version)

Important: No Access Code

!Neon.Genesis. (PDF/EPUB Version)

›On Avoiding Distress‹ and ›On My Own Opinions‹ (PDF/EPUB Version)

“And in Length of Days Understanding” (Job 12:12): Essays on Archaeology in the Eastern Mediterranean and Beyond in Honor of Thomas E. Levy (PDF/EPUB Version)

“Buyurdum ki….” – The Whole World of Ottomanica and Beyond: Studies in Honour of Claudia Römer (PDF/EPUB Version)

“The Girl in the Window” and Other True Tales: An Anthology with Tips for Finding, Reporting, and Writing Nonfiction Narratives (PDF/EPUB Version)

2024: Central Bank Digital Currencies (PDF/EPUB Version)

Property and the Making of the International System (PDF/EPUB Version)

This shark, swallow you whole: Essays on the Cultural Influence of Jaws (PDF/EPUB Version)

Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (PDF/EPUB Version)

Important: No Access Code

Related products