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