Skip to content

refactor(Typology): unify relativization substrate into RelativeClause #35

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
github-actions merged 1 commit into from
May 31, 2026
Merged

refactor(Typology): unify relativization substrate into RelativeClause #35

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 2 additions & 5 deletions Linglib.lean
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -285,9 +285,8 @@ import Linglib.Morphology.DegreeContainment
import Linglib.Morphology.DM.DomainLocality
import Linglib.Morphology.Case.Allomorphy
import Linglib.Morphology.DM.ContainmentVI
import Linglib.Core.Relativization.Basic
import Linglib.Typology.Relativization.ExtractionBridge
import Linglib.Core.Relativization.Hierarchy
import Linglib.Typology.RelativeClause.Basic
import Linglib.Typology.RelativeClause.WALS
import Linglib.Typology.ClassifierSystem
import Linglib.Core.Scales.Roundness
import Linglib.Core.Scales.Predicate
Expand Down Expand Up @@ -1340,8 +1339,6 @@ import Linglib.Studies.Merchant2013
import Linglib.Phenomena.Entailment.Basic
import Linglib.Phenomena.Entailment.Monotonicity
import Linglib.Phenomena.WordOrder.CrossSerial
import Linglib.Typology.Relativization.Defs
import Linglib.Typology.Relativization.Basic
import Linglib.Phenomena.Focus.Basic
import Linglib.Studies.KratzerSelkirk2020
import Linglib.Studies.Roberts2012
Expand Down
182 changes: 0 additions & 182 deletions Linglib/Core/Relativization/Basic.lean
View file
Open in desktop

This file was deleted.

138 changes: 0 additions & 138 deletions Linglib/Core/Relativization/Hierarchy.lean
View file
Open in desktop

This file was deleted.

Loading
Loading