blob: 0292749aee354b24f90b7c145023ab8bc8716e40 (
plain)
1
2
3
4
5
6
7
8
9
10
|
# sumcheck
A decider for Presburger arithmetic using automata.
- parsec.try correct?
- parsec.expr
- integers support
- tests
- gadt
- more flexible parser (associativity, parens...)
|