Changes between Version 4 and Version 5 of TypeNats/SingletonsAndKinds


Ignore:
Timestamp:
Oct 16, 2012 4:49:19 PM (18 months ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/SingletonsAndKinds

    v4 v5  
    33We start by defining a ''kind'', which is useful for passing kinds as parameters. 
    44{{{ 
    5 data OfKind (a :: *) = KindParam 
     5data {-kind-} OfKind (a :: *) = KindParam 
    66}}} 
    77Note that we are only interested in the promoted version of this datatype,