Description
Introduction to Dependent Types with Idris
Sale!
Introduction to Dependent Types with Idris
Original price was: $70.00.$20.99Current price is: $20.99.
Out of stock
Related products
-
A Concise Introduction to Data Compression
Sale! Original price was: $70.00.$20.99Current price is: $20.99. Read more -
A11Y Unraveled
Sale! Original price was: $70.00.$20.99Current price is: $20.99. Read more -
A Brief History Of Computing
Sale! Original price was: $70.00.$20.99Current price is: $20.99. Read more
Reviews
There are no reviews yet.