Cool! Projection from a global session type?
-
-
-
Yes, also tracking knowledge which allows for capturing dependencies and other interesting properties.
- 2 more replies
New conversation -
-
-
Doesn't account for many common use case, such as the interrupting cow. D/X. :D
-
I am considering that a protocol vocation that would cause an exception... Though perhaps I'll add "heckler" as a participant.
- 1 more reply
New conversation -
-
-
DSLS FOR THE DSL GOD
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Guaranteed by the compiler to be funny?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Doesn't seem to account for the "banana" variation's unbounded recursion, unless I'm missing something.
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.