ICFP and Strange Loop look like they'll be great and I'm very jealous of all you lucky people who are going! On the other hand, I'm having fun here finding out what happens when Blodwen meets users who want it to do things...
Replying to @madgen_
I'm in Potsdam for a fortnight visiting the (to my knowledge) world's most productive Idris hacker :)
1:44 PM - 20 Sep 2018
0 replies
0 retweets
1 like
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.