v0.7.10

• Work around GHC issue 23109

v0.7.9

• Support for GHC 9.8.1

v0.7.8

• Support for GHC-9.6.0.20230210

v0.7.7

• Add support for GHC 9.4

v0.7.3

Fix clash-lang/clash-compiler#1454

v0.7.2

• Add support for GHC 8.10.1-alpha2

v0.4.1

• Support GHC 8.4.1

v0.2.2

• New features:
  • Derive smaller constraints from larger constraints when they differ by a single variable, i.e. KnownNat (a + b), KnownNat b implies KnownNat a.

v0.2.1

• Fixes bugs:
  • Source location of derived wanted constraints is, erroneously, always set to line 1, column 1

v0.2

• New features:
  • Handle GHC.TypeLits.-
  • Handle custom, user-defined, type-level operations
  • Thanks to Gabor Greif (@ggreif): derive smaller from larger constraints, i.e. KnownNat (n+1) implies KnownNat n