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

Allow ghc-bignum 1.1 #38

Open felixonmars opened 2 years ago

felixonmars commented 2 years ago

Builds fine and all tests pass.