Changes between Version 10 and Version 11 of Language/Declarations

Show
Ignore:
Timestamp:
06/25/09 02:24:35 (5 years ago)
Author:
benl (IP: 150.203.160.45)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Language/Declarations

    v10 v11  
    144144{{{ 
    145145DataDecl 
    146     ::=  data  Con  TyVar*  =  CtorDecl  |CtorDecl+ 
     146    ::=  data  Con  TyVar*  =  CtorDecl  |CtorDecl* 
    147147 
    148148CtorDecl