Changes between Version 7 and Version 8 of Design/TypeRefactor


Ignore:
Timestamp:
Aug 29, 2018 12:48:14 PM (12 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Design/TypeRefactor

    v7 v8  
    44
    55This page was started in June 2018.
     6
     7See Trac #15479
    68
    79== Desugaring types separately