presburger-arithmetic-solver

There are 0 repository under presburger-arithmetic-solver topic.

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
Language:Haskell 6