Presburger arithmetic solver for built-in type-level naturals
haskell
dependent-types
solver
ghc
type-level-programming
compiler-plugin
presburger-arithmetic-solver
ghc-plugin
-
Updated
Jun 9, 2024 - Haskell