| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Bundles.agda | 15727 | logplainabout |
| -rw-r--r-- | Consequences.agda | 6870 | logplainabout |
| d--------- | Morphism | 43 | logplain |
| d--------- | Properties | 370 | logplain |
| -rw-r--r-- | Structures.agda | 11455 | logplainabout |
 |
index : yellowsquid/helium.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |