| Version 3 (modified by dreixel, 16 months ago) |
|---|
GHC branch: ghc-axioms
See https://github.com/dreixel/New-axioms for a draft of the design ( cached pdf).
Attachments
-
axioms.pdf
(212.0 KB) - added by goldfire
9 months ago.
Description of FC extension to support overlapping type family instances
