Hoorah, final version of my ICFP paper on effects in Idris is shipped: http://eb.host.cs.st-andrews.ac.uk/writings/icfp13.pdf …
6:23 AM - 16 Jul 2013
0 replies
10 retweets
11 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.