It turns out I'm opening the batting at @flatmaposlo (http://2015.flatmap.no/brady.html#session …). I've even remembered to organise flights in time.
-
-
Replying to @edwinbrady
I feel a bit of a fraud at scala events though. I've played with
#shapeless but should probably learn to walk before running like that...2 replies 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady Isn't shapeless a one-liner in Idris? ;)1 reply 0 retweets 0 likes
Replying to @seanparsons
@seanparsons I'd like to think so, but @milessabin has some some impressive stuff there either way!
11:28 AM - 9 Apr 2015
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.