Skip to content

add shell.nix and clean some stuff - #6

Merged
redianthus merged 1 commit into
OCamlPro:masterfrom
redianthus:master
Sep 22, 2025
Merged

redianthus merged 1 commit into
OCamlPro:masterfrom
redianthus:master

Commits

Commits on Sep 22, 2025