I've put slides from today's talk on Idris, and example code, at http://edwinb.wordpress.com/2013/01/22/plpv-2013-slides/ …
0 replies
1 retweet
6 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.