# Changelog
## 0.7.2.0
* Supports GHC 9.6
## 0.7.1.0
* Proper Support of GHC 9.4 (Now can solve `Assert` properly)
## 0.7.0.0
* Support GHC 9.4
* The plugin can solve constraints involving type-level `Assert`, `Not`, `(&&)`, `(||)`, and/or `If` from new base.
## 0.6.0.0
* Stop discharging redundant constraints
* Support GHC 9.0.1
* Drop a support for GHC <8.6
## 0.4.0.0
* Fixes constraint solving (fixes #9); this may change the previous (unsound) behaviour, and hence it is breaking change.
## 0.3.0.1
* Supports GHC >= 8.10.
## 0.3.0.0
* Initial release: separated singletons support from `ghc-typelits-presburger`