From 95a8670969d6ae1c365a83e754607263010e6314 Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Tue, 12 Aug 2025 08:00:28 +0000
Subject: [PATCH] readme: messing w markdown

---
 readme.md | 34 +++++++++++++++++-----------------
 1 file changed, 17 insertions(+), 17 deletions(-)

diff --git a/readme.md b/readme.md
index 75776c0..657ce85 100644
--- a/readme.md
+++ b/readme.md
@@ -2,38 +2,38 @@
 
 things that are in here:
 
-### general statement things
+## general statement things
 
-#### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs)
+### [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)
+### [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 things (statements have meaning I guess)
+## semantic things (statements have meaning I guess)
 
-#### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs)
+### [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)
+### [Logic/Statement/Serialize.hs](Logic/Statement/Serialize.hs)
 
 - generate a LaTeX truth table from a statement
 
-#### [Logic/Statements/Laws.hs](Logic/Statements/Laws.hs)
+### [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 (statements are strings of symbols)
+## syntactic things (statements are strings of symbols)
 
-#### [Logic/Language.hs](Logic/Language.hs)
+### [Logic/Language.hs](Logic/Language.hs)
 
 - implement formal languages (symbols, axioms schemas, and inference rules)
   with a clunky api, see also
@@ -43,26 +43,26 @@ things that are in here:
 
 - verify derivations in formal languages
 
-### formal languages implemented
+## formal languages implemented
 
 - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach")
 - [L](Logic/Language/Impl/L.hs)
 
-### general things
+## general things
 
-#### [Logic/Parse.hs](Logic/Parse.hs)
+### [Logic/Parse.hs](Logic/Parse.hs)
 
 - generic sequence parser
 
-#### [Logic/Graph.hs](Logic/Graph.hs)
+### [Logic/Graph.hs](Logic/Graph.hs)
 
 - generic breadth-first search
 
-## requirements
+# requirements
 
 a haskell compiler e.g. GHC
 
-## compile it
+# compile it
 
 ```sh
 make
@@ -70,7 +70,7 @@ make
 
 or look in [`Makefile`](Makefile)
 
-## usage
+# usage
 
 only this has been implemented in the main function:
 
@@ -78,7 +78,7 @@ only this has been implemented in the main function:
 echo '((p->q)<->(!q->!p))' | ./logic
 ```
 
-### output
+## output
 
 ```
 Iff (Implies (Atom "p") (Atom "q")) (Implies (Not (Atom "q")) (Not (Atom "p")))