Working on my slides for Monday's seminar: http://blogs.cs.st-andrews.ac.uk/csblog/2011/11/04/dependently-typed-functional-programming-by-edwin-brady/ … You should all come and enjoy :)
2 replies
1 retweet
2 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.