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.
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...
-
-
@edwinbrady Isn't shapeless a one-liner in Idris? ;) -
@seanparsons I'd like to think so, but@milessabin has some some impressive stuff there either way!
End of conversation
New conversation -
-
-
@edwinbrady I see Javascript, Purescript and Clojure as well as Idris and Scala. -
@ctford I begin to doubt their headline about scala and the jvm... - 1 more reply
New conversation -
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.