Changes between Version 2 and Version 3 of NewAxioms/ClosedTypeFamilies


Ignore:
Timestamp:
Jun 24, 2013 8:52:14 AM (10 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NewAxioms/ClosedTypeFamilies

    v2 v3  
    11= New syntax for branched family instances = 
     2 
     3'''Note''': This page is here for historical reasons. The implemented feature is described on the NewAxioms page. 
    24 
    35This page proposes a new concrete syntax for branched family instances that seems cleaner, easier to understand and explain, and less verbose than the existing one.