From 3bf0555c235e56fb5cb37cca18066c9081b9e919 Mon Sep 17 00:00:00 2001 From: hi Date: Tue, 12 Aug 2025 08:05:52 +0000 Subject: [PATCH] readme: increase readmeability --- readme.md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/readme.md b/readme.md index 02a740b..7132fc1 100644 --- a/readme.md +++ b/readme.md @@ -2,7 +2,7 @@ things that are in here: -## general statement things +## statement things ### [Logic/Statement/Parse.hs](Logic/Statement/Serialize.hs) @@ -14,7 +14,7 @@ things that are in here: - serialize a statement -> L (the formal language) - parse L (the formal language) string -> statement -## semantic things (statements have meaning I guess) +## semantic statement things ### [Logic/Statement/Eval.hs](Logic/Statement/Eval.hs) @@ -31,7 +31,7 @@ things that are in here: - 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 ### [Logic/Language.hs](Logic/Language.hs) @@ -43,7 +43,7 @@ things that are in here: - verify derivations in formal languages -## formal languages implemented +### formal languages - [the MIU system](Logic/Language/Impl/MIU.hs) (from "Gödel, Escher, Bach") - [L](Logic/Language/Impl/L.hs) @@ -58,6 +58,7 @@ things that are in here: - generic breadth-first search + # requirements a haskell compiler e.g. GHC @@ -70,6 +71,7 @@ make or look in [`Makefile`](Makefile) + # usage only this has been implemented in the main function: