Rename Reference to Concepts

rcosta358 · rcosta358 · commit 0ca443fcbfa5 · 2026-04-03T21:01:14.000+01:00
diff --git a/concepts/external-refinements.md b/concepts/external-refinements.md
@@ -1,6 +1,6 @@
 ---
 title: External Refinements
-parent: Reference
+parent: Concepts
 nav_order: 4
 ---
 
diff --git a/concepts/ghosts.md b/concepts/ghosts.md
@@ -1,6 +1,6 @@
 ---
 title: Ghosts
-parent: Reference
+parent: Concepts
 nav_order: 5
 ---
 
diff --git a/concepts/index.md b/concepts/index.md
@@ -1,29 +1,29 @@
 ---
-title: Reference
+title: Concepts
 nav_order: 2
 has_children: true
 has_toc: false
-permalink: /reference/
-description: Browse the LiquidJava reference for refinements, aliases, state refinements, ghosts, and external refinements.
+permalink: /concepts/
+description: "Browse LiquidJava concepts: for refinements, aliases, state refinements, ghosts, and external refinements."
 cards:
   - title: Refinements
-    url: /reference/refinements/
+    url: /concepts/refinements/
     description: Learn about how to use refinements to specify constraints on variables, fields, parameters, and return values.
   - title: Refinement Aliases
-    url: /reference/refinement-aliases/
+    url: /concepts/refinement-aliases/
     description: Learn how to reuse common refinement predicates with aliases to keep contracts shorter and easier to maintain.
   - title: State Refinements
-    url: /reference/state-refinements/
+    url: /concepts/state-refinements/
     description: Learn how to model protocol-oriented object states and valid method transitions.
   - title: Ghosts
-    url: /reference/ghosts/
+    url: /concepts/ghosts/
     description: Learn how to track logical state that helps express and verify richer object invariants.
   - title: External Refinements
-    url: /reference/external-refinements/
+    url: /concepts/external-refinements/
     description: Learn how to refine external libraries that cannot be annotated directly.
 ---
 
-# LiquidJava Reference
+# Concepts
 
 LiquidJava extends Java with logical predicates and object protocol specifications. This section covers the core concepts and features of the LiquidJava type system.
 
diff --git a/concepts/refinement-aliases.md b/concepts/refinement-aliases.md
@@ -1,6 +1,6 @@
 ---
 title: Refinement Aliases
-parent: Reference
+parent: Concepts
 nav_order: 2
 ---
 
diff --git a/concepts/refinements.md b/concepts/refinements.md
@@ -1,6 +1,6 @@
 ---
 title: Refinements
-parent: Reference
+parent: Concepts
 nav_order: 1
 ---
 
diff --git a/concepts/state-refinements.md b/concepts/state-refinements.md
@@ -1,6 +1,6 @@
 ---
 title: State Refinements
-parent: Reference
+parent: Concepts
 nav_order: 3
 ---
 
diff --git a/index.md b/index.md
@@ -3,13 +3,13 @@ title: LiquidJava Docs
 layout: default
 nav_exclude: true
 has_toc: false
-description: Start with setup, runnable examples, and reference material for LiquidJava.
+description: Documentation for LiquidJava, a lightweight verification system for Java using liquid types.
 cards:
   - title: Getting Started
     url: /getting-started/
     description: Learn the basics, set up your environment, and run your first LiquidJava verification.
-  - title: Reference
-    url: /reference/
+  - title: Concepts
+    url: /concepts/
     description: Look up LiquidJava concepts, annotations, and protocol rules in a more formal, detailed format.
   - title: VS Code Extension
     url: /vscode/
