diff --git a/README.md b/README.md
index a7da824..68a10e2 100644
--- a/README.md
+++ b/README.md
@@ -1 +1,29 @@
-# bayeux
\ No newline at end of file
+# 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 | `=>` |