3 Commits

Author SHA1 Message Date
oysteikt 02f45c80cd flake.nix: add ocaml tooling 2026-06-26 18:21:42 +09:00
oysteikt 7cf6e8e6bf flake.nix: bump rocq version from 8 to 9 2026-06-26 03:24:57 +09:00
oysteikt 7d4574a2ec Initial commit 2026-06-24 21:36:42 +09:00