Type Driven Development with Idris

Type Driven Development with Idris, published by Manning, is now in print.

There’s a couple of free sample chapters, and an excerpt from Chapter 3 (including a discount code for 37% off the book) on interactive development in Atom.

Posted March 23, 2017 by edwinb in Idris

%d bloggers like this: