Constraint Rules

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

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell