| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Unicode math instead... | Duncan Wilkie | 2024-02-01 |
| * | Use MathJax instead. | Duncan Wilkie | 2024-02-01 |
| * | Patterson BTFO post | Duncan Wilkie | 2024-02-01 |
 |
index : functorial.xyz | |
| The source for https://functorial.xyz, my website. | Git Version Control |
| summaryrefslogtreecommitdiff |