Change Log
0.1.7
- Added simple utility function
toDynamicallySorted
0.1.6
0.1.5
- Bump dependencies, fix equality, tweak readme
0.1.4
0.1.3
- Extracting variables occurring in expression
- Distinguish quantifier-free expressions
- Convert to negation normal form
- Convert to prenex form
- Convert to flat form (select and store have only variables or constants as arguments)
- Replace store with an instance of its axiomatization
0.1.2
- Foldable with sort index
- Traversable with sort index
0.1.1
- Parsing
- Equality of expressions
- Expression substitution
0.1.0
- Sorted Expressions à la Carte