Skip to content

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

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

ea51636
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar