GitHub repository: mniip/finite-typelits
Primary language: Haskell
Created: 2015-11-03T02:08:59Z
Description: A type inhabited by finitely many values, indexed by type-level naturals.