Cover of Idris Unleashed : Type-Driven Development and Theorem Proving in Functional Programming by Johnson, Robert, ISBN 9798896650270
Algorithms

Idris Unleashed : Type-Driven Development and Theorem Proving in Functional Programming

Contributor(s): Author Format: Paperback

Paperback Β· ISBN 9798896650270

β‚Ή2,944 24%
β‚Ή3,897

Inclusive of GST and other taxes

100% Quality Assurance
No Account Creation Required
Fast Delivery
Secured Transactions

Arriving at your doorstep in 10-15 days

Our logisitcs team will make sure everyitem is delivered safely

Key Specifications

ISBN 9798896650270
Publisher NobleTrex Press
Publication date November 2024
Language English
Page count 436
Item weight 128 g

Idris Unleashed : Type-Driven Development and Theorem Proving in Functional Programming published by NobleTrex Press.