Type-Driven Development with Idrishttps://www.manning.com/books/type-driven-development by prakashk • 11 years ago 2 0 11 years agoMAmanning.com