lib:singletons-presburger

Modules

• Data.Singletons.TypeNats.Presburger

Dependencies

• base lib:base >=4.7 && <5
• ghc lib:ghc >=7.10 && <8.11
• ghc-typelits-presburger lib:ghc-typelits-presburger >=0.4
• reflection lib:reflection >=0
• singletons lib:singletons >=0

Reverse dependencies

Direct only. Not exhaustive.

• singletons-presburger exe:simple-arith
• sized lib:sized
• type-natural lib:type-natural