From 225d0ecbb60c5d254f0e4a6110c741197c701332 Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Tue, 12 Aug 2025 08:13:03 +0000
Subject: [PATCH] readme: separate readmes

---
 Logic/readme.md | 57 ++++++++++++++++++++++++++++++++++++++++++
 readme.md       | 66 +++----------------------------------------------
 2 files changed, 61 insertions(+), 62 deletions(-)
 create mode 100644 Logic/readme.md

diff --git a/Logic/readme.md b/Logic/readme.md
new file mode 100644
index 0000000..c1bc066
--- /dev/null
+++ b/Logic/readme.md
@@ -0,0 +1,57 @@
+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)
+
+- parse string -> statement
+- serialize a statement -> plaintext, LaTeX
+
+### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs)
+
+- serialize a statement -> L (the formal language)
+- parse L (the formal language) string -> statement
+
+## semantic statement things
+
+### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
+
+- assign truth values and evaluate statements
+- determine tautology, contradiction, or contingent
+
+### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
+
+- generate a LaTeX truth table from a statement
+
+### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
+
+- match/replace patterns in statements (e.g. logical laws)
+- verify logical-law equivalence of statements (TODO)
+- find logical-law equivalence of statements with breadth-first search (slow)
+
+## syntactic things
+
+### [Logic/Language.hs](Logic/Language.hs)
+
+- implement formal languages (symbols, axioms schemas, and inference rules)
+  with a clunky api, see also
+  <https://en.wikipedia.org/wiki/Post_canonical_system>
+
+### [Logic/Language/Derivation.hs](Logic/Language/Derivation.hs)
+
+- verify derivations in formal languages
+
+### formal languages
+
+- [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
+- [L](Logic/Language/Impl/L.hs)
diff --git a/readme.md b/readme.md
index 4b4b386..2e25937 100644
--- a/readme.md
+++ b/readme.md
@@ -1,69 +1,12 @@
 # statement logic !!!
 
-things that are in here:
+see [Logic/readme.md](Logic/readme.md) for more details about what's 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)
-
-- parse string -> statement
-- serialize a statement -> plaintext, LaTeX
-
-### [Logic/Language/Impl/L.hs](Logic/Language/Impl/L.hs)
-
-- serialize a statement -> L (the formal language)
-- parse L (the formal language) string -> statement
-
-## semantic statement things
-
-### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
-
-- assign truth values and evaluate statements
-- determine tautology, contradiction, or contingent
-
-### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
-
-- generate a LaTeX truth table from a statement
-
-### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
-
-- match/replace patterns in statements (e.g. logical laws)
-- verify logical-law equivalence of statements (TODO)
-- find logical-law equivalence of statements with breadth-first search (slow)
-
-## syntactic things
-
-### [Logic/Language.hs](Logic/Language.hs)
-
-- implement formal languages (symbols, axioms schemas, and inference rules)
-  with a clunky api, see also
-  <https://en.wikipedia.org/wiki/Post_canonical_system>
-
-### [Logic/Language/Derivation.hs](Logic/Language/Derivation.hs)
-
-- verify derivations in formal languages
-
-### formal languages
-
-- [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
-- [L](Logic/Language/Impl/L.hs)
-
-
-# requirements
+## requirements
 
 a haskell compiler e.g. GHC
 
-# compile it
+## compile it
 
 ```sh
 make
@@ -71,8 +14,7 @@ make
 
 or look in [`Makefile`](Makefile)
 
-
-# usage
+## usage
 
 only this has been implemented in the main function: