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.
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.