Closed gwils closed 5 years ago
It would be good to split up the test function latticeLaws so that, for example, just the join semilattice laws could be tested, without requiring all the other instances.
latticeLaws
There's some ok-ish split in the tests
It would be good to split up the test function
latticeLaws
so that, for example, just the join semilattice laws could be tested, without requiring all the other instances.