wiki:NewAxioms

Version 1 (modified by dreixel, 4 years ago) (diff)

--

See https://github.com/dreixel/New-axioms for a draft of the design.

Attachments (1)

  • axioms.pdf (212.0 KB) - added by goldfire 3 years ago. Description of FC extension to support overlapping type family instances

Download all attachments as: .zip