dependent-literals-plugin-0.1.0.0: Rewrites integer literals to a pseudo-dependently-typed form.

Index

pluginDependentLiterals.Plugin