lasp-lang/types

Implement PN-Counter.

Closed this issue · 1 comments

cmeiklejohn commented
Implement PN-Counter.
cmeiklejohn commented

State-based completed, but we will need an operation-based invariant.