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/ …
Replying to @tritlo
yes, barring some appendices and front matter. Also it’s pre copy editing and proof reading. Final version is cleaned up a lot.
3:38 PM - 6 Feb 2017
0 replies
0 retweets
2 likes
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.