Changes between Version 12 and Version 13 of EmptyDataDecls


Ignore:
Timestamp:
Aug 23, 2009 7:41:09 PM (6 years ago)
Author:
sweirich
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • EmptyDataDecls

    v12 v13  
    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 K1, ..., Kn.
     129 This declaration introduces a new type constructor T with zero or more constituent data constructors K0, ..., Kn.
    130130{{{
    131131#!html