Skip to content

feat(verb): pin-closure — the transitive closure of a pin advance, iterated to a fixed point - #63

Merged
github-actions[bot] merged 4 commits into
mainfrom
feat/closure-gate-verb-v2
Nov 1, 2026
Merged

github-actions[bot] merged 4 commits into
mainfrom
feat/closure-gate-verb-v2

Commits

  1. Commits on Nov 1, 2026