Changes between Version 325 and Version 326 of TypeFunctionsStatus


Ignore:
Timestamp:
Jun 26, 2008 5:00:53 AM (6 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: