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

Name: Idris Unleashed: Type-Driven Development and Theorem Proving in Functional Programming
Brand: HiTeX Press

£30.86

Pages: 434, Paperback, HiTeX Press

catalogue.description

Price now:

Amazon

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

Amazon

£30.86

Type-driven Development with Idris

Amazon

£35.65

£39.99

Type-Driven Development with Idris

Amazon

£30.20

DRIVEN: Inferno Unleashed (Rios Legacy Racing)

Amazon

£13.91

£13.93

The Moneyball Approach to Sales & Sales Management: Unleashing Data-Driven Strategies for Success

Amazon

£7.45