From 1da9b25ff814d681afc3b741739bffbca7cc45e8 Mon Sep 17 00:00:00 2001
From: cyfraeviolae <cyfraeviolae>
Date: Sun, 16 May 2021 18:22:49 -0400
Subject: init

---
 README.md | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 README.md

(limited to 'README.md')

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...)
-- 
cgit v1.2.3