From 050d08ffc2a8ba924cf70f86fb98d2f348a99d0f Mon Sep 17 00:00:00 2001
From: hi <hi>
Date: Tue, 12 Aug 2025 05:29:08 +0000
Subject: [PATCH] increase readme coolness

---
 readme.md | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/readme.md b/readme.md
index ff28f2a..60d6586 100644
--- a/readme.md
+++ b/readme.md
@@ -27,11 +27,11 @@ things you can do with this:
 - the MIU system (from "Gödel, Escher, Bach")
 - L
 
-## Requirements
+## requirements
 
 a haskell compiler e.g. GHC
 
-## Compile it
+## compile it
 
 ```sh
 make
@@ -39,7 +39,7 @@ make
 
 or look in `Makefile`
 
-## Usage
+## usage
 
 only this has been implemented in the main function:
 
@@ -47,7 +47,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")))