We have Idris hackers coming to St Andrews next week. If you're nearby, feel free to drop in for some or all of it! https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-Nov-2013 …
4:33 AM - 15 Nov 2013
0 replies
3 retweets
0 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.