Thank you! Is it too late to change the title to "Impromptu: Dependently-Typed Async", though?
Something that we all have waited for: https://www.youtube.com/watch?v=00O2rfZ3K_k … …
@propensive at #scalawave2017 about #typelevelpic.twitter.com/4K2qG4dmyh
-
-
-
Dammit people, stop publishing interesting videos or I'll never be able to watch everything
End of conversation
New conversation -
-
-
Omg, the right stuff!
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.