We're having another #idris hackfest soon, this time in Gothenburg. Come and join the fun! https://github.com/idris-lang/Idris-dev/wiki/Idris-Developers-Meeting,-April-May-2014 …
2:04 PM - 20 Feb 2014
0 replies
3 retweets
5 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.