# Change Log

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