Finish implementation of simple evaluator #88
Description
The evaluate method at <src/devel/src/tarski/evaluators/simple.py> has been unfinished for a long time, and still does not support quantification. We should finish this.
{{ message }}
The evaluate method at <src/devel/src/tarski/evaluators/simple.py> has been unfinished for a long time, and still does not support quantification. We should finish this.