Changes between Version 8 and Version 9 of Status


Ignore:
Timestamp:
Mar 26, 2008 4:46:12 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v8 v9  
    1818|| fix comment syntax grammar (LineCommentSyntax) || #42 ||  
    1919=== Rejected Proposals === 
     20|| add Linear implicit params || #43 ||  
    2021|| add [wiki:Arrows] || #13 ||  
    2122|| ImpreciseExceptions || #39 ||  
     
    5051|| add MultiWayIf || #77 ||  
    5152|| add FunctionalDependencies || #36 ||  
    52 || add Linear implicit params || #43 ||  
    5353|| add overlapping or incoherent instances || #54 ||  
    5454|| Allow Undecidable Instances || #71 ||