| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Agda.Primitive.Cubical.html | 18508 | logplainblame |
| -rw-r--r-- | Agda.Primitive.html | 3951 | logplainblame |
| -rw-r--r-- | Agda.css | 1688 | logplainblame |
| -rw-r--r-- | DFA.html | 34517 | logplainblame |
| index : www | ||
| Werc based website at pmikkelsen.com |
| summaryrefslogtreecommitdiff |