This weekend, I've mostly been writing about types and concurrency in Idris. It may be nearly coherent by now. http://eb.host.cs.st-andrews.ac.uk/drafts/tdd-conc.pdf …
3:35 PM - 22 Feb 2015
0 replies
9 retweets
20 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.