Skip to content

relaxed CategoryConstructor to support SyntacticCategory#1799

Merged
mohamed-barakat merged 1 commit intohomalg-project:masterfrom
mohamed-barakat:relax_CategoryConstructor
Sep 17, 2025
Merged

relaxed CategoryConstructor to support SyntacticCategory#1799
mohamed-barakat merged 1 commit intohomalg-project:masterfrom
mohamed-barakat:relax_CategoryConstructor

Commits

Commits on Sep 17, 2025