Use flattened constraints on GHC 8.4+ - Githubissues

clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

Other

43 stars 15 forks source link

Use flattened constraints on GHC 8.4+ #17

Closed christiaanb closed 6 years ago