Changes between Version 380 and Version 381 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 30, 2008 5:34:50 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v380 v381  
    2525
    2626 * GADT:
     27  * #2151 (nested GADT constructors in patterns)
    2728  * #2235 (trying to use a TF lemma in the form of a local equality annotation, leading to a tricky GADT-TF interaction)
    28   * #2627 (GADT-TF interaction)
    29   * #2151 (nested GADT constructors in patterns)
    3029
    3130 * Misc: