Anyone want to visit Dublin and learn about Idris?http://www.meetup.com/FunctionalKats/events/228632790/ …
Replying to @gluegadget
@gluegadget it'll be a full day rather than just a couple of hours
9:52 AM - 5 Feb 2016
0 replies
1 retweet
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.