Minimise haskell imports, make exports explicit
-
Updated
Sep 5, 2023 - Haskell
Minimise haskell imports, make exports explicit
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
GHC plugin to rewrite lens Template Haskell splices into pure functions
Presburger arithmetic solver for built-in type-level naturals
An experiment to implement something similar to RecursiveLet proposal using GHC plugins.
Stop compilation if the project violates an import and export whitelist
A GHC source plugin that replaces current imports with a minimal set, removing unused ones.
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."