Skip to content

1407 Introduce a naming scheme for concepts#1412

Merged
kilianvolmer merged 6 commits intomainfrom
1407-decide-on-a-naming-scheme-for-concepts
Nov 11, 2025
Merged

1407 Introduce a naming scheme for concepts#1412
kilianvolmer merged 6 commits intomainfrom
1407-decide-on-a-naming-scheme-for-concepts

Commits

Commits on Nov 10, 2025