Changes between Version 12 and Version 13 of EmptyDataDecls

Timestamp:

08/23/09 12:41:09 (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 K1, ..., Kn.
+ This declaration introduces a new type constructor T with zero or more constituent data constructors K0, ..., Kn.
 {{{
 #!html