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

Index

pluginDependentLiterals.Plugin