Changes between Version 87 and Version 88 of StrawPoll-1


Ignore:
Timestamp:
Mar 29, 2006 9:38:36 AM (8 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v87 v88  
    8787||    ||    || M  ||    ||    || Y  || N  || N  ||    ||    || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs 
    8888||    ||    || N  ||    || N  || N  || N  || N  ||    || Y* || N  ||  M  || N  ||    ||     ||  N ||  M || #73    || add views 
    89 ||    ||    || N  ||  Y ||    || M  ||    ||    ||    ||    ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
    90 ||    ||    || N  ||    ||    ||    ||    || N  ||    ||    || N  ||  Y  ||    ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
     89||    ||    || N  ||  Y ||    || M  ||    ||    ||    || N  ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances 
     90||    ||    || N  ||    ||    ||    ||    || N  ||    || M  || N  ||  Y  ||    ||    ||     ||  N ||  N || #54    || add overlapping or incoherent instances 
    9191|| N  ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||  N  || N  || N  ||     ||  N ||  N  || #43    || add Linear implicit params 
    9292|| M  ||    || N  ||    ||    || N  || N  ||    ||    || Y  ||    ||  M  || N  ||    ||     ||  M ||  YM  || #36    || add FunctionalDependencies 
     
    9797|| N  ||    || N  ||    || N  || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows 
    9898|| N  ||    || N  ||    || N  || N  || N  ||    ||    ||    || N  ||  N  ||    ||    ||     ||    ||  N || #18    || add closed classes 
    99 ||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||    ||    || N  ||  Y  || Y  || Y  ||     ||    ||  Y || #84    || Kind Annotations 
     99||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||    || Y  || N  ||  Y  || Y  || Y  ||     ||    ||  Y || #84    || Kind Annotations 
    100100 
    101101----