| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Context.agda | 228 | logplain |
| d--------- | Context | 80 | logplain |
| -rw-r--r-- | Derivation.agda | 237 | logplain |
| d--------- | Derivation | 80 | logplain |
| -rw-r--r-- | Expression.agda | 243 | logplain |
| d--------- | Expression | 80 | logplain |
| -rw-r--r-- | Fin.agda | 128 | logplain |
| d--------- | Fin | 80 | logplain |
| -rw-r--r-- | Judgement.agda | 234 | logplain |
| d--------- | Judgement | 80 | logplain |
| -rw-r--r-- | Language.agda | 237 | logplain |
| d--------- | Language | 80 | logplain |
| d--------- | List | 40 | logplain |
| -rw-r--r-- | Type.agda | 219 | logplain |
| d--------- | Type | 80 | logplain |
| d--------- | Vec / Relation / Binary / Pointwise | 35 | logplain |
 |
index : yellowsquid/cfe-proof.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |