Editions of Type-driven Development with Idris

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

Type-driven Development with Idris

480 pages

Published March 31, 2017 by Manning Publications.

ISBN:
978-1-61729-302-3
Copied ISBN!
No cover

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

Type-Driven Development with Idris

English language

Published Dec. 23, 2017 by Manning Publications Co. LLC.

ISBN:
978-1-63835-224-2
Copied ISBN!

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