# Change Log
## 0.5
* Switch to lattices-2
## 0.4.2
* Allow a wide range of dynamically sorted values (not just expressions)
* Utility for extracting array accesses
## 0.3.1
* Utility for extracting constants from expressions
## 0.3
* Cleanup, GHC 8.6
## 0.2
* Add `embed` and `restrict` to convert between expression languages
## 0.1.9
* Bump dependencies
## 0.1.8
* Bump dependencies
## 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