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


Ignore:
Timestamp:
Dec 20, 2011 1:25:33 PM (4 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