Changes between Version 360 and Version 361 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jun 20, 2013 12:49:44 PM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v360 v361  
    1212 * #7862: overlap beween givens and instances
    1313 * #7643: dark corner of sub-kinding and `unsafeCoerce#`
     14 * #7842: polymorphism in recursive do-blocks
    1415
    1516== Template Haskell ==