MPG.eBooks - Description: Type-driven development with Idris

Read Now

Annotation

Bibliographic Details
Main Author:	Brady, Edwin
Format:	eBook
Language:	English
Published:	Shelter Island, NY Manning Publications Co. 2017
Subjects:	Functional Programming (computer Science) / Http://id.loc.gov/authorities/subjects/sh87007844 Idris (computer Program Language) Programmation Fonctionnelle Functional Programming (computer Science) / Fast
Online Access:	https://learning.oreilly.com/library/view/~/978161...
Collection:	O'Reilly - Collection details see MPG.ReNa