Changes between Version 13 and Version 14 of EmptyDataDecls


Ignore:
Timestamp:
Sep 8, 2009 1:05:45 PM (5 years ago)
Author:
sweirich
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • EmptyDataDecls

    v13 v14  
    127127<div style="background: #dfd; border-color: #c00; border-style: solid; border-width: 1px"> 
    128128}}} 
    129  This declaration introduces a new type constructor T with zero or more constituent data constructors K0, ..., Kn. 
     129 This declaration introduces a new type constructor T with zero or more constituent data constructors K1, ..., Kn. 
    130130{{{ 
    131131#!html