Changes between Version 13 and Version 14 of EmptyDataDecls

Timestamp:

09/08/09 06:05:45 (4 years ago)

Author:

sweirich

Comment:

--

EmptyDataDecls

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