| Age | Commit message (Expand) | Author |
|---|---|---|
| 2023-05-13 | The great rewrite of 2023 | Thomas Letan |
| 2022-10-23 | Website reorg | Thomas Letan |
| 2021-03-28 | 2021 Spring redesign | Thomas Letan |
| 2020-07-12 | More spellchecking and typos | Thomas Letan |
| 2020-07-12 | Invert the table of contents and the revision tables | Thomas Letan |
| 2020-07-12 | Spellchecking | Thomas Letan |
| 2020-07-12 | New article on Algebraic Datatypes | Thomas Letan |