GitHub repository: konn/ghc-typelits-presburger
Primary language: Haskell
Created: 2016-05-22T09:53:27Z
Description: Presburger arithmetic solver for built-in type-level naturals