Remove Two Examples

rcosta358 · rcosta358 · commit 6aea3125a75e · 2026-04-07T23:58:49.000+01:00
diff --git a/pages/examples/arraylist.md b/pages/examples/arraylist.md
@@ -1,7 +1,7 @@
 ---
 title: ArrayList
 parent: Examples
-nav_order: 10
+nav_order: 8
 permalink: /examples/arraylist/
 description: An external refinement for ArrayList that prevents out-of-bounds access.
 ---
diff --git a/pages/examples/connection.md b/pages/examples/connection.md
@@ -1,7 +1,7 @@
 ---
 title: Connection
 parent: Examples
-nav_order: 8
+nav_order: 7
 permalink: /examples/connection/
 description: A typestate protocol with a value-dependent conditional transition.
 ---
diff --git a/pages/examples/downloader.md b/pages/examples/downloader.md
@@ -1,7 +1,7 @@
 ---
 title: Downloader
 parent: Examples
-nav_order: 7
+nav_order: 6
 permalink: /examples/downloader/
 description: A typestate protocol for a downloader object.
 ---
diff --git a/pages/examples/email.md b/pages/examples/email.md
@@ -1,7 +1,7 @@
 ---
 title: Email
 parent: Examples
-nav_order: 5
+nav_order: 4
 permalink: /examples/email/
 description: A typestate protocol for an Email builder API.
 ---
diff --git a/pages/examples/media-player.md b/pages/examples/media-player.md
@@ -1,7 +1,7 @@
 ---
 title: Media Player
 parent: Examples
-nav_order: 4
+nav_order: 3
 permalink: /examples/media-player/
 description: A typestate protocol for a simple media player.
 ---
diff --git a/pages/examples/order.md b/pages/examples/order.md
@@ -1,7 +1,7 @@
 ---
 title: Order
 parent: Examples
-nav_order: 6
+nav_order: 5
 permalink: /examples/order/
 description: A typestate protocol for a simple order processing system.
 ---
diff --git a/pages/examples/semaphore.md b/pages/examples/semaphore.md
diff --git a/pages/examples/slice-range.md b/pages/examples/slice-range.md
