1 files changed, 10 insertions, 0 deletions

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..0292749
--- /dev/null
+++ b/README.md
@@ -0,0 +1,10 @@
+# sumcheck
+
+A decider for Presburger arithmetic using automata.
+
+- parsec.try correct?
+- parsec.expr
+- integers support
+- tests
+- gadt
+- more flexible parser (associativity, parens...)