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