I'll be giving a tutorial on #idris at #cufp in September. Do come along! http://cufp.org/2014/t5-edwin-brady-idris-practical-software-verification-with-Dependent-types.html …
7:10 AM - 26 Jun 2014
0 replies
7 retweets
4 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.