On code
Thoughts, articles, posts about code, programming languages, etc.
(2017-07-05) Vi as a programming language
(2017-07-15) Odds (OCaml Dice Dice
Something) Rewritten entirely after major code change
(2017-09-15) Natural languages in programming languages
(2019-07-09) Acme colour scheme for
vim
(Updated 2024-06-13)
(2020-06-06) Lwt
tutorial/introduction Part 1 of 2
(2020-06-06) Lwt tutorial/introduction
Part 2 of 2
(2020-06-06) Lwt tutorial/introduction
Part 3 of 2
(Updated 2022-04-26)
(2020-07-15) The Sense of Coding Style
(2022-06-10) Odds (OCaml Dice Dice Something)
(2022-10-11) Mirage OS retreat
(2024-02-07) My Very First
GADT
(2024-02-07) GADT Tips and
Tricks
(2024-02-07) GADT Gallery