diff --git a/README.md b/README.md
new file mode 100644
index 0000000..5e08d67
--- /dev/null
+++ b/README.md
@@ -0,0 +1,13 @@
+
+# An equational calculator in haskell
+
+It equates functions using laws.  A law might be something like:
+
+	map after concat:   map f . concat = concat . map (map f)
+
+
+# Limtations
+
+This deos not generate tree of complitions(yet), but rather list.  So
+it's sometimes wrong where there are 2 possible simplification routes
+available.