| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Minor formatting fixes. | Duncan Wilkie | 2023-07-30 |
| | | |||
| * | Forgot to sync this a bunch of times. | Duncan Wilkie | 2023-07-30 |
| | | |||
| * | Start over cleanly | Duncan Wilkie | 2023-06-26 |
 |
index : functorial.xyz | |
| The source for https://functorial.xyz, my website. | Git Version Control |
| summaryrefslogtreecommitdiff |