Skip to content

Author closed sets as typed constants - #560

Merged
SaladDay merged 1 commit into
mainfrom
refactor/typed-closed-sets
Oct 8, 2026
Merged

SaladDay merged 1 commit into
mainfrom
refactor/typed-closed-sets

Commits

  1. Commits on Oct 8, 2026