Sorry about all the bits where I still haven't got used to my new laptop's keyboard.
-
-
Show this thread
-
If you saw my
@CodeMeshIO talk, it's similar except for a completely reimplemented (faster!) system, and that I managed to save at least a few minutes for the more interesting session type example at the end.Show this thread
End of conversation
New conversation -
-
-
Is growing an additional face a common side-effect of implementing dependently typed languages?pic.twitter.com/lZJCS3rmbi
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.