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 ?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.