odd/bin/ at main · jon.recoil.org/odd · Tangled

jon.recoil.org / odd

0

Odoc docs

0

odd / bin

2 files

at main

Jon Ludlam's Agent Rename the `show` command to `doc` 4w ago

Rename the `show` command to `doc` `odd show` is now `odd doc`. Renamed the subcommand and its implementation module (Show -> Doc, lib/show.ml -> lib/doc.ml, Show.show -> Doc.doc), the zsh completion's dispatch and command list, and the docs (doc/DESIGN_SHOW.md -> doc/DESIGN_DOC.md). Also fixed some stale Show.scan/Show.owns references in the design docs that should have been Refs.* since the Refs extraction. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

1 month ago

Rename the `show` command to `doc` `odd show` is now `odd doc`. Renamed the subcommand and its implementation module (Show -> Doc, lib/show.ml -> lib/doc.ml, Show.show -> Doc.doc), the zsh completion's dispatch and command list, and the docs (doc/DESIGN_SHOW.md -> doc/DESIGN_DOC.md). Also fixed some stale Show.scan/Show.owns references in the design docs that should have been Refs.* since the Refs extraction. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

1 month ago