Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
TotalOrder.agda | 2011-12-13 12:27 | 687 | ||
StrictTotalOrder.agda | 2011-12-13 12:27 | 1.0K | ||
StrictPartialOrder.agda | 2011-12-13 12:27 | 1.0K | ||
Preorder.agda | 2011-12-13 12:27 | 800 | ||
Poset.agda | 2011-12-13 12:27 | 910 | ||
DecTotalOrder.agda | 2011-12-13 12:27 | 865 | ||