Skip to content

refactor(Core/Logic): cut RestrictedModality's import inversion into Semantics#30

Merged
github-actions[bot] merged 2 commits into
mainfrom
fix-modaltypes-inversion
May 30, 2026
Merged

refactor(Core/Logic): cut RestrictedModality's import inversion into Semantics#30
github-actions[bot] merged 2 commits into
mainfrom
fix-modaltypes-inversion