The latest version of finite-typelits is 0.2.1.0-0.
finite-typelits
Version 0.1.3.0 revision 1 uploaded by Bodigrim.
Package meta
- Synopsis
- A type inhabited by finitely many values, indexed by type-level naturals.
- Description
A type inhabited by finitely many values, indexed by type-level naturals.
- Author
- mniip
- Bug reports
- n/a
- Category
- Data
- Copyright
- n/a
- Homepage
- https://github.com/mniip/finite-typelits
- Maintainer
- mniip@mniip.com
- Package URL
- n/a
- Stability
- n/a