search

typelevel / algebra

Experimental project to lay out basic algebra type classes
https://typelevel.org/algebra/
Other
378 stars 69 forks source link

README.md missing explanation of BoolRing, BoolRng, and GenBool #113

Open johnynek opened 8 years ago

johnynek commented 8 years ago

We should add them to the tables I guess. It will require a new column for ring/lattice, I think.

TomasMikula commented 8 years ago

For ring-like structures, we could add column "Idempotent *?", which is a defining property of BoolR(i)ng. For lattices, we could add columns "pseudo-complement" (Heyting, Bool), "relative-complement" (GenBool, Bool), "complement" (Bool).