summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore14logplain
-rw-r--r--.ocamlformat0logplain
-rw-r--r--dune-project16logplain
-rw-r--r--flake.lock948logplain
-rw-r--r--flake.nix789logplain
-rw-r--r--grump.opam0logplain
d---------src219logplain