Changes between Version 19 and Version 20 of GhcKinds


Ignore:
Timestamp:
Dec 15, 2011 11:32:53 AM (2 years ago)
Author:
dreixel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v19 v20  
    2323= Generalized Algebraic Data Kinds (GADKs) = 
    2424 
    25 This section deals with a proposal to collapse kinds and sorts into a single system 
    26 so as to allow Generalised Algebraic DataKinds (GADKs). The sort `BOX` should 
     25'''Future work:''' this section deals with a proposal to collapse kinds and sorts into a single system 
     26so as to allow Generalised Algebraic !DataKinds (GADKs). The sort `BOX` should 
    2727become a kind, whose ''kind'' is again `BOX`. Kinds would no longer be classified by sorts; 
    2828they would be classified by kinds.