konn/ghc-typelits-presburger

Presburger arithmetic solver for built-in type-level naturals

语言：Haskell · GitHub 星标：10 · Fork：6

话题：compiler-plugin · dependent-types · ghc · ghc-plugin · haskell · presburger-arithmetic-solver · solver · type-level-programming

在 GitHub 上查看原仓库