Changelog

0.7.3.0

• Supports GHC 9.8
• Drops support for GHC <9

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