A talk from last Friday's STP, in which I sketch how Idris works: http://www.cs.st-andrews.ac.uk/~eb/writings/idris-stp.pdf …
5:28 AM - 13 Feb 2012
2 replies
3 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.