TypeDD in Idris is @ManningBooks Deal of the Day today. The other books on offer look interesting too… https://www.manning.com/dotd?utm_source=twitter&utm_medium=social&utm_term=dotd&utm_content=dotd_05_12_16_type_driven&utm_campaign=dotd_may_2016 …
12:43 AM - 12 May 2016
0 replies
21 retweets
15 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.