Update README.md

standardsemiconductor · May 30, 2024 · cccd135 · cccd135
1 parent cd39be1
commit cccd135
Showing 1 changed file with 29 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -1 +1,29 @@
-# bayeux
+# Bayeux
+
+```
+cabal build
+cabal install
+```
+Try it:
+```
+echo "q => p => q" | bx --stdin -t
+~(q => (p => q))
+│
+│q
+│
+│~(p => q)
+│
+│p
+│
+│~q
+
+True
+```
+
+| Syntax | |
+|------|-------------|
+| Var   | alpha-num |
+| Not   | `~`  |
+| And   | `/\` |
+| Or    | `\/` |
+| Imply | `=>` |