Oh, it's not Idris then? :)
Really good talk tonight by @folone at Twitter's London HQ on getting started with typelevel programming, though I think there's a lot to be gained from studying these slides carefully, whether you attended or not! https://twitter.com/folone/status/993967785758912513 …
This Tweet is unavailable.
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Reminded me a bit of a talk by my good friend Andrea at Scala Italy 2015
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.