| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Context.agda | 714 | logplain |
| -rw-r--r-- | Family.agda | 12161 | logplain |
| d--------- | Frex | 37 | logplain |
| -rw-r--r-- | Structure.agda | 29094 | logplain |
| -rw-r--r-- | Type.agda | 618 | logplain |
 |
index : yellowsquid/cbpv-soas-and-frex.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |