Changes between Version 23 and Version 24 of KindSystem


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

--

Legend:

Unmodified
Added
Removed
Modified
  • KindSystem

    v23 v24  
    11= A Kind System for GHC = 
    22 
    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. 
     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.''' 
    44 
    55Currently thinking about adding a more expressive '''Kind System''' to GHC.  This page is currently a WIP ...