YellPika/constraint-rules

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

语言：Haskell · GitHub 星标：19 · Fork：0

话题：ghc-plugin

在 GitHub 上查看原仓库