I gather the TypeDD in Idris book is at the printers. Or, in other words: It's type set! Ship it!
I don’t have one at the moment but there’s a good chance there’ll be a code for half off when the print version is released, soon.
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I don’t have one at the moment but there’s a good chance there’ll be a code for half off when the print version is released, soon.