Changes between Version 11 and Version 12 of KindSystem


Ignore:
Timestamp:
Oct 17, 2008 8:20:35 AM (7 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 ===