I gather the TypeDD in Idris book is at the printers. Or, in other words: It's type set! Ship it!
-
-
It must be even better to read it without having to look for any minor issue. :)
-
I'm scared to look in case I spot anything else...
- 1 more reply
New conversation -
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.