Skip to content

refactor(Typology/Numeral): split numeral object from WALS survey#17

Merged
hawkrobe merged 4 commits into
mainfrom
refactor/numeral-object-split
May 30, 2026
Merged

refactor(Typology/Numeral): split numeral object from WALS survey#17
hawkrobe merged 4 commits into
mainfrom
refactor/numeral-object-split

Conversation

@hawkrobe
Copy link
Copy Markdown
Owner

Splits the lexical numeral object (Numeral.Comparison, Numeral.Entry) into Typology/Numeral/Basic.lean and renames the WALS survey to Typology/Numeral/WALS.lean (NumeralProfileNumeral.Profile), mirroring the Typology/Pronoun/ object/WALS split. Semantics imports the object and provides its relationalGQ denotation, so the object is no longer Semantics-owned and rival accounts can denote the same entry.

@hawkrobe hawkrobe merged commit 56f39e5 into main May 30, 2026
1 check passed
@hawkrobe hawkrobe deleted the refactor/numeral-object-split branch May 30, 2026 00:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant