clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
17Updated 2 weeks ago

Alternatives and similar repositories for ghc-typelits-extra:

Users that are interested in ghc-typelits-extra are comparing it to the libraries listed below