@bascule change they way you represent it into graph ? don't use words use graphs :P
I'd like to write specifications of the behavior of concurrent systems but I'd like the result to be executable code, not mathematical prose
-
-
-
.
@jakuboboza I want a set of declarative specifications about the ordering of events within the system, checking what actually happens -
@bascule Agda, Coq ? you mean in form of dependant types like things ?
End of conversation
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.