typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
homepage ↗ hackage: typelits-witnesses github: mstksg/typelits-witnesses
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.4.1.0 | 1 | 2 d | details › |