You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+1-2Lines changed: 1 addition & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -24,8 +24,7 @@ Decades of progress in formal linguistics live in prose scattered across hundred
24
24
Linglib separates **phenomena** (what we observe) from **theories** (what explains it).
25
25
26
26
`Phenomena/` contains theory-neutral empirical data — acceptability judgments, experimental results, distributional patterns. `Theories/` contains formal theories that make predictions about those phenomena. The connection between them is explicit: theories prove theorems that reference the data.
27
-
28
-
Other top-level directories: `Core/` (shared infrastructure like propositions, intensions, accessibility relations), `Fragments/` (lexical data for specific languages), `Comparisons/` (cross-theory results).
27
+
`Core/` has shared infrastructure like propositions, intensions, accessibility relations, `Fragments/` exposes typological and lexical data for specific languages.
0 commit comments