GitHub repository: mniip/singleton-typelits
Primary language: Haskell
Created: 2017-12-14T09:13:13Z
Description: Singletons and induction schemes for GHC TypeLits.