@hackage dependent-literals0.1.0.0

Provides library support for pseudo-dependently-typed int literals.

This is the library counterpart of dependent-literals-plugin. See that package's description for more details.