search

konn / ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals
6 stars 6 forks source link

Removed "presburger" from the submodules. #7

Closed Haskell-mouse closed 3 years ago

Haskell-mouse commented 4 years ago

And added it to the list of usual dependensies.

konn commented 4 years ago

If I remember correctly, the previous version of presburger package didn't compile with Semigroup-Monoid Change. Would you mind adding appropriate version constraints according to GHC's version and specify appropriate ones in stack.yaml?

konn commented 3 years ago

We won't merge this, as presburger on Hackage hasn't been updated for a long time, and our forked codebase slightly diverged from the original.