Repository navigation

refactor(Semantics/Composition): a type of worlds, intensions from it - #5872

Merged

github-actions[bot] merged 2 commits into

mainfrom

refactor/ty2-1027l

Oct 27, 2026

Merged

refactor(Semantics/Composition): a type of worlds, intensions from it#5872
github-actions[bot] merged 2 commits into
mainfrom
refactor/ty2-1027l

Commits on Oct 27, 2026
- docs(Semantics/Composition): coordinator results as linked prose
  hawkrobe
  committed
  68f96e4
- refactor(Semantics/Composition): a type of worlds, intensions from it
  hawkrobe
  committed
  ea51636