GitHub repository: mtesseract/type-level-integers
Primary language: Haskell
Created: 2017-04-05T10:33:45Z
Description: Provides integers lifted to the type level.