An excerpt from Type Driven Development with Idris (plus discount code!) on the @ManningBooks free content centre: http://freecontent.manning.com/interactive-editing-in-atom/ …
6:13 AM - 23 Mar 2017
0 replies
22 retweets
16 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.