A collection of technical notes, configuration snippets, and thoughts on theory. This serves as a digital garden for my work in OCaml, Rocq, etc.
A collection of technical notes, configuration snippets, and thoughts on theory. This serves as a digital garden for my work in OCaml, Rocq, etc.