constraintTermExtensions. Prototype implementation of type constraint-term extensions for GHC, accompanying the "Haskell Type Constraints Unleahsed" paper

github.com/dorchard/constraintTermExtensions
by @dorchard

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.