| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Decidable.agda | 3296 | logplain |
| -rw-r--r-- | Implication.agda | 618 | logplain |
| -rw-r--r-- | Negation.agda | 6438 | logplain |
| -rw-r--r-- | Product.agda | 606 | logplain |
| -rw-r--r-- | Sum.agda | 868 | logplain |
| -rw-r--r-- | Universe.agda | 4842 | logplain |
 |
index : agda-stdlib | |
| Debian dgit repo for package agda-stdlib |
| summaryrefslogtreecommitdiff |