search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Fix fallout from `isNatural` changes in `ghc-typelits-natnormalise` #21

Closed christiaanb closed 5 years ago