Slides from today's colloquium, if you're interested: http://www.cs.st-andrews.ac.uk/~eb/writings/idris.pdf … (with clickable urls :)) #stacs
8:38 AM - 6 Feb 2012
0 replies
2 retweets
0 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.