There's a Mostly Erlang podcast out with me waffling about Idris, among other things: http://mostlyerlang.com/2015/03/31/061-idris/ …
4:57 AM - 3 Apr 2015
0 replies
11 retweets
9 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.