Type-Driven Development with Idris

by
No cover

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

English language

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

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

View on OpenLibrary

5 stars (1 review)

2 editions