Closed littledan closed 5 years ago
On second thought, the ideas there might be too complicated checks and therefore less efficient. Just name invariants in the spec, not implementation strategies.
On second thought, the ideas there might be too complicated checks and therefore less efficient. Just name invariants in the spec, not implementation strategies.