In case anyone else is wondering… it won’t be too much longer, but it’s out of my hands now! https://www.reddit.com/r/Idris/comments/5rpy3o/book_release_date/ddf420k/ …
-
-
Sounds good - cool to hear the language has reached a pretty stable state. Looking forward to the book, great job!
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.