NewAxioms: axioms.pdf

File axioms.pdf, 212.0 KB (added by goldfire, 7 years ago)

Description of FC extension to support overlapping type family instances

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.