GitHub repository: mstksg/typelits-witnesses
Primary language: Haskell
Created: 2015-12-01T21:43:57Z
Description: Existential witnesses, singletons, and classes for operations on GHC TypeLits