Index
| ==> | Algebra.Heyting, Algebra.Boolean |
| Boolean | Algebra.Boolean |
| boolean | Algebra.Boolean |
| BooleanAlgebra | Algebra.Boolean |
| FreeBoolean | |
| 1 (Type/Class) | Algebra.Boolean.Free |
| 2 (Data Constructor) | Algebra.Boolean.Free |
| FreeHeyting | |
| 1 (Type/Class) | Algebra.Heyting.Free |
| 2 (Data Constructor) | Algebra.Heyting.Free |
| HeytingAlgebra | Algebra.Heyting |
| iff | Algebra.Heyting, Algebra.Boolean |
| iff' | Algebra.Heyting, Algebra.Boolean |
| layer | Algebra.Heyting.Layered |
| Layered | Algebra.Heyting.Layered |
| Lower | Algebra.Heyting.Layered |
| not | Algebra.Heyting, Algebra.Boolean |
| prop_BooleanAlgebra | Algebra.Boolean |
| prop_BoundedJoinSemiLattice | Algebra.Heyting |
| prop_BoundedMeetSemiLattice | Algebra.Heyting |
| prop_HeytingAlgebra | Algebra.Heyting |
| prop_implies | Algebra.Heyting |
| prop_not | Algebra.Boolean |
| runBoolean | Algebra.Boolean |
| runFreeBoolean | Algebra.Boolean.Free |
| runFreeHeyting | Algebra.Heyting.Free |
| toBoolean | Algebra.Heyting |
| Upper | Algebra.Heyting.Layered |