# sumcheck

A decider for Presburger arithmetic using automata.

- parsec.try correct?
- parsec.expr
- integers support
- tests
- gadt
- more flexible parser (associativity, parens...)