Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | BoundedJoinSemilattice.agda | 1581 | logplain |
-rw-r--r-- | BoundedMeetSemilattice.agda | 1265 | logplain |
-rw-r--r-- | DecTotalOrder.agda | 681 | logplain |
-rw-r--r-- | DistributiveLattice.agda | 2381 | logplain |
-rw-r--r-- | HeytingAlgebra.agda | 4599 | logplain |
-rw-r--r-- | JoinSemilattice.agda | 2614 | logplain |
-rw-r--r-- | Lattice.agda | 2184 | logplain |
-rw-r--r-- | MeetSemilattice.agda | 1248 | logplain |
-rw-r--r-- | Poset.agda | 1141 | logplain |
-rw-r--r-- | Preorder.agda | 1121 | logplain |
-rw-r--r-- | StrictPartialOrder.agda | 771 | logplain |
-rw-r--r-- | StrictTotalOrder.agda | 897 | logplain |
-rw-r--r-- | TotalOrder.agda | 692 | logplain |