Changes between Version 22 and Version 23 of KindSystem


Ignore:
Timestamp:
Jun 4, 2013 10:18:19 PM (21 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v22 v23  
    11= A Kind System for GHC = 
     2 
     3'''Note:''' As of June 2013, this page is rather out of date. There are lots of interesting ideas here, but various pieces of this page have already been implemented, and parts have been subsumed by other work. 
    24 
    35Currently thinking about adding a more expressive '''Kind System''' to GHC.  This page is currently a WIP ...