/Bool

/caterwaul/Bool

Copy path to clipboard

Exported files:

commutativeRing:
```
../Ring/Commutative/Set Bool
```
complementedLattice:
```
../Lattice/Complemented/Set Bool
```
eq:
```
../Eq/Type Bool
```
package.dhall