Changes between Version 11 and Version 12 of KindSystem


Ignore:
Timestamp:
Oct 17, 2008 8:20:35 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v11 v12  
    6767 
    6868 
     69In the basic proposal the `data kind` declaration has no kind parameters.  (See below for kind polymorphism.) 
    6970 
    7071=== Syntax ===