@hackage / singletons-presburger

Presburger Arithmetic Solver for GHC Type-level natural numbers with Singletons package.

0.7.4.1

Security Advisories

No advisories found.