Skip to content

Named-operator constructors, projection verbs, and balanced gram_eigh_full#229

Merged
mtfishman merged 16 commits into
mainfrom
mf/gram-eigh-balanced
Jun 15, 2026
Merged

Named-operator constructors, projection verbs, and balanced gram_eigh_full#229
mtfishman merged 16 commits into
mainfrom
mf/gram-eigh-balanced

Commits

Commits on Jun 2, 2026

Commits on Jun 3, 2026

Commits on Jun 4, 2026

Commits on Jun 15, 2026