TODO for Conjure
================
A non-exhaustive list of things TO DO for Conjure.
* Review `bench/redundants.out` and prune redundant candidates.
See sections below for ideas.
## Prune modulo rewriting
The following is redundant, as only the second equation is necessary:
foo 0 = 0
foo x = x + x
Another example is:
foo 0 = 1
foo x = x + 1
The tricky part is when dealing with multiple arguments:
x ? 0 = x
x ? y = x + y
One possible path would be to replace 0 in the second equation
then use the Theory to discover x + 0 is equal to 0.
This file is part of Conjure,
(C) 2021-2024 Rudy Matela,
Distribued under the 3-Clause BSD license.