Change Log

0.1.7

• Added simple utility function toDynamicallySorted

0.1.6

• GHC 8.4 compatibility

0.1.5

• Bump dependencies, fix equality, tweak readme

0.1.4

• Bump dependencies

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