search

konn / ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals
6 stars 6 forks source link

GHC 9.4 Support #22

Closed konn closed 1 year ago

konn commented 2 years ago

Supports GHC 9.4 and new type-level operators introduced in newer base.