Type-driven Development with Idris

by

480 pages

Published March 31, 2017 by Manning Publications.

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

View on OpenLibrary

5 stars (1 review)

2 editions