Changes between Version 49 and Version 50 of Commentary/Compiler/GenericDeriving


Ignore:
Timestamp:
Dec 20, 2011 1:25:33 PM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/GenericDeriving

    v49 v50  
    5757{{{ 
    5858data Universe f x m =  
    59     -- Void (used for datatypes without constructors) 
     59  -- Void (used for datatypes without constructors) 
    6060    VV 
    6161     
    62     -- Unit 
     62  -- Unit 
    6363  | UU 
    6464