ghc-typelits-natnormalise
GHC typechecker plugin for types of kind GHC.TypeLits.Nat
homepage ↗ hackage: ghc-typelits-natnormalise github: clash-lang/ghc-typelits-natnormalise
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.9.3 | 1 | 2 d | details › |