# Change Log

## 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