| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2022-06-27 | Yet still more editing | Marshall Lochbaum | |
| 2022-06-06 | Consistently avoid "derived function" for trains: use "compound function" ↵ | Marshall Lochbaum | |
| instead | |||
| 2022-02-12 | Stop using ≠¨∘⊔ since /⁼ does it now | Marshall Lochbaum | |
| 2021-06-23 | Notes on dynamic compilation | Marshall Lochbaum | |
