singletons-presburger-0.7.3.0: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.
Contents
Index
Index
plugin
Data.Singletons.TypeNats.Presburger
singletonTranslation
Data.Singletons.TypeNats.Presburger