Johnson R Idris Unleashed Type-Driven Development Functional Programming 2024 | 2.04 MB

Title: Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
Author: Robert Johnson

Description:
N/A

DOWNLOAD:

https://rapidgator.net/file/ba4d47c79300be120c8d4f5cab33b716/Johnson_R._Idris_Unleashed._Type-Driven_Development..Functional_Programming_2024.rar

https://ddownload.com/h4xw5wqb90te/Johnson_R._Idris_Unleashed._Type-Driven_Development..Functional_Programming_2024.rar