Changes between Version 152 and Version 153 of Commentary


Ignore:
Timestamp:
Aug 2, 2011 4:27:42 PM (3 years ago)
Author:
ia0
Comment:

add Kind level page (GhcKinds)

Legend:

Unmodified
Added
Removed
Modified
  • Commentary

    v152 v153  
    6868   * [wiki:SQLLikeComprehensions SQL-Like Comprehensions]: Notes on the ongoing implementation of SPJs "Comprehensive Comprehensions". 
    6969   * [wiki:TypeNats Type level naturals] 
     70   * [wiki:GhcKinds Kind level]: Notes on the theory, design and implementation of a kind level by promotion of data types. 
    7071   * [wiki:KindFact Proposal to add a kind for facts, e.g. class constraints] 
    7172   * [wiki:PolymorphicDynamic Polymorphic Dynamic]: Notes on adding ad-hoc polymorphic dynamic types