Wow, i might have to get this. Is there an ebook version available?https://twitter.com/edwinbrady/status/840978878504030212 …
There’ll be an ebook available soon viahttps://www.manning.com/books/type-driven-development-with-idris …
-
-
ToC: *really* promising. I understand dependent types semantically (somewhat), but that's no substitute for seeing them used! <3
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.