Changes between Version 19 and Version 20 of GhcKinds


Ignore:
Timestamp:
Dec 15, 2011 11:32:53 AM (4 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.