Changes between Version 267 and Version 268 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 11, 2012 10:06:07 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v267 v268  
    155155 
    156156== Features ==  
     157 * #5462: deriving for arbitrary classes 
    157158 * #6032: discussion about when foralls can be to the right of an arrow. 
    158159 * #6024: allow defining a ''kind'' without also getting the corresponding ''type''