Had a nice pint on arrival in Gothenburg with other Idris hackers. Planned lots of fun stuff. I wonder if we should have written it down.
-
-
Replying to @edwinbrady
@edwinbrady nah, you can make up plenty of other good stuff tomorrow1 reply 0 retweets 0 likes -
Replying to @DrHydeous
@DrHydeous I've spent all my beer money though, so that'll be hard. May need a mortgage to get another pint here...1 reply 0 retweets 0 likes -
Replying to @DrHydeous
@DrHydeous Indeed. I took the train from Denmark, where you merely need a short term loan. Should have brought a crate with me.
3:15 PM - 29 Apr 2014
0 replies
0 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.