Presburger arithmetic solver for built-in type-level naturals
-
Updated
Jun 9, 2024 - Haskell
Presburger arithmetic solver for built-in type-level naturals
Minimise haskell imports, make exports explicit
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
An experiment to implement something similar to RecursiveLet proposal using GHC plugins.
Stop compilation if the project violates an import and export whitelist
GHC plugin to rewrite lens Template Haskell splices into pure functions
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
GHC Core plugin for lightweight formal verification of Haskell programs via Agda.
Add a description, image, and links to the ghc-plugin topic page so that developers can more easily learn about it.
To associate your repository with the ghc-plugin topic, visit your repo's landing page and select "manage topics."