Changes between Version 41 and Version 42 of StrawPoll-1


Ignore:
Timestamp:
Mar 27, 2006 10:48:17 AM (9 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----