Editions of "Type-driven Development with Idris"

Filters
Type-driven Development with Idris (2017, Manning Publications)

Type-driven Development with Idris

480 pages

Published March 31, 2017 by Manning Publications.

ISBN:
9781617293023
No cover

Type-Driven Development with Idris (2017, Manning Publications Co. LLC)

Type-Driven Development with Idris

English language

Published April 9, 2017 by Manning Publications Co. LLC.

ISBN:
9781638352242

Can't find the edition you're looking for?