Closed non closed 8 years ago
This also deletes an erroneous semilattice that we were using for law tests (but not shipping to anyone else). It turns out not to be associative.
👍
This also deletes an erroneous semilattice that we were using for law tests (but not shipping to anyone else). It turns out not to be associative.