DependentLiterals.Plugin
Description
A GHC plugin making numeric literals and patterns pseudo-dependently-typed.
plugin :: Plugin Source #