These are chat archives for non/algebra
bases. I made the choice of using only
parentsin my version of the laws. Would be happy to discuss about it.
meetoperation and for the
joinoperation; then a lattice laws is simply the union of all these. It's then very easy to move from the typeclass, to the laws trait, and follow the inheritance chain.
bases, the relevant laws cannot be found by looking at the law traits; you have to go to the discipline implementation, and understand how things work together, which imho defeats the purpose of the new style. Any thoughts?