Some #idris exercises, for your amusement http://www.cs.st-andrews.ac.uk/~eb/Idris/exercises.pdf …
8:46 AM - 10 Mar 2013
0 replies
2 retweets
9 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.