singletons-presburger-0.3.0.0: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Data.Singletons.TypeNats.Presburger
plugin :: Plugin Source #
singletonTranslation :: TcPluginM Translation Source #