You are here:
Home
›
Books
›
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
Author: Robert Johnson
0.00 of 0
Click the button below to register a free account and download the file
*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.