Age | Commit message (Expand) | Author |
---|---|---|
2022-10-23 | Website reorg | Thomas Letan |
2022-08-07 | Add a new post about rank-n types in OCaml | Thomas Letan |
2021-03-28 | 2021 Spring redesign | Thomas Letan |
2021-01-24 | No more syntax highlighting | Thomas Letan |
2020-12-12 | Use Spectral Regular | Thomas Letan |
2020-12-10 | Add a Series on coqffi, and the first literate program of this blog | Thomas Letan |
2020-08-29 | Start the documentation of the theme build process | Thomas Letan |
2020-08-27 | Simplify the theme | Thomas Letan |
2020-04-04 | Benefit from cleopatra org-related functions to export org files | Thomas Letan |
2020-04-02 | Refactor the build process to use cleopatra the Second | Thomas Letan |