Changes between Version 325 and Version 326 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
06/25/08 22:00:53 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v325 v326  
    4242'''Debugging of type families:''' 
    4343 0. Total families 
    44  0. Follow up on [] 
    4544 0. Allow repeated variable occurrences in lhses of type instances (see paper). 
    4645 0. Replacing GADT refinements by explicit equality constraints: