chore-move-laziness

flix · Apr 2, 2024 · 4c8e8dc · 4c8e8dc
1 parent c0dc53a
commit 4c8e8dc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -41,7 +41,6 @@
   - [Associated Effects](./associated-effects.md)
   - [Higher-Kinded Types](./higher-kinded-types.md)
 - [Effects and Handlers](./effects-and-handlers.md)
-- [Laziness](./laziness.md)
 - [Fixpoints](./fixpoints.md)
   - [Stratified Negation](./stratified-negation.md)
   - [Local Predicates](./local-predicates.md)
@@ -78,6 +77,7 @@
   - [Checked Casts](./checked-casts.md)
   - [Unchecked Casts](./unchecked-casts.md)
   - [Bugs and Unreachable Code](./bug-and-unreachable.md)
+  - [Laziness](./laziness.md)
   - [Type Match](./type-match.md)
   - [Purity Reflection](./purity-reflection.md)
   - [Type-Level Programming](./type-level-programming.md)