From 3695430c8fad51e177f6b05e9145309f9d88253c Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Tue, 12 Aug 2025 08:06:53 +0000
Subject: [PATCH] readme: general things first

---
 readme.md | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/readme.md b/readme.md
index 7132fc1..4b4b386 100644
--- a/readme.md
+++ b/readme.md
@@ -2,6 +2,16 @@
 
 things that are in here:
 
+## general things
+
+### [Logic/Parse.hs](Logic/Parse.hs)
+
+- generic sequence parser
+
+### [Logic/Graph.hs](Logic/Graph.hs)
+
+- generic breadth-first search
+
 ## statement things
 
 ### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
@@ -48,16 +58,6 @@ things that are in here:
 - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
 - [L](Logic/Language/Impl/L.hs)
 
-## general things
-
-### [Logic/Parse.hs](Logic/Parse.hs)
-
-- generic sequence parser
-
-### [Logic/Graph.hs](Logic/Graph.hs)
-
-- generic breadth-first search
-
 
 # requirements