https://github.com/konn/ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

compiler-plugin dependent-types ghc ghc-plugin haskell presburger-arithmetic-solver solver type-level-programming

Last synced: 17 Mar 2025