Changes between Version 11 and Version 12 of KindSystem

Timestamp:

10/17/08 01:20:35 (5 years ago)

Author:

simonpj

Comment:

--

KindSystem

@@ -67 +67 @@
 
 
+In the basic proposal the `data kind` declaration has no kind parameters.  (See below for kind polymorphism.)
 
 === Syntax ===