Changes between Version 41 and Version 42 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 10:48:17 AM (8 years ago)
Author:
simonpj@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v41 v42  
    9090||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #54    || add overlapping or incoherent instances 
    9191||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params 
    92 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||     ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
    93 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #77    || add MultiWayIf 
     92||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies 
     93||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #77    || add MultiWayIf 
    9494||    ||    ||    ||    ||    ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #69    || allow tuple sections 
    9595||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #38    || add implicit parameters 
    96 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #14    || add Associated Types 
     96||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   N  ||    ||    ||     ||    ||    || #14    || add Associated Types 
    9797||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
    98 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #18    || add closed classes 
    99 ||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #84    || Kind Annotations 
     98||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #18    || add closed classes 
     99||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||    || #84    || Kind Annotations 
    100100 
    101101----