smunix / typelits-witnesses Goto Github PK
View Code? Open in Web Editor NEWThis project forked from mstksg/typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
Home Page: http://hackage.haskell.org/package/typelits-witnesses
License: MIT License