hackage.haskell.org "ghc-plugin" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "ghc-plugin" keyword.
ghc-typelits-presburger 0.7.4.2 💰
Presburger arithmetic solver for built-in type-level naturals24 versions - Latest release: 7 months ago - 4 dependent packages - 9 dependent repositories - 9 thousand downloads total - 9 stars on GitHub - 1 maintainer
singletons-presburger 0.7.4.1 💰
Presburger arithmetic solver for built-in type-level naturals12 versions - Latest release: 7 months ago - 3 dependent packages - 8 dependent repositories - 1.77 thousand downloads total - 9 stars on GitHub - 1 maintainer
smuggler2 0.3.6.2
Add smuggler2 to the build dependencies of your project. . Then add the following to ghc-options:...9 versions - Latest release: about 5 years ago - 1 dependent repositories - 1.75 thousand downloads total - 19 stars on GitHub - 1 maintainer