If you’re doing the Idris tutorial at #cufp this week, I’ve put some material at http://www.idris-lang.org/documentation/cufp-2014/ …. Please install editor mode too!
1:27 AM - 2 Sep 2014
0 replies
5 retweets
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.