wiki:NewAxioms

Version 1 (modified by dreixel, 2 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 20 months ago. Description of FC extension to support overlapping type family instances

Download all attachments as: .zip