singletons-presburger-0.7.1.0: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package. (Index)

singletons-presburger-0.7.1.0: Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.

Index

plugin	Data.Singletons.TypeNats.Presburger
singletonTranslation	Data.Singletons.TypeNats.Presburger