Support for ghc-typelits-knownnat-0.4 - Githubissues

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

Other

16 stars 9 forks source link

Support for ghc-typelits-knownnat-0.4 #12

Closed christiaanb closed 6 years ago