Changes between Version 42 and Version 43 of StrawPoll-2


Ignore:
Timestamp:
Aug 25, 2006 3:55:42 PM (9 years ago)
Author:
dons@…
Comment:

wibble

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-2

    v42 v43  
    9999||    || N  || Y  ||    ||    || N  || N  || Y  || Y  || YM || R  ||     ||    ||    || N  ||     ||  R ||    || #64    || add recursive do syntax
    100100||    || M  || M  ||    ||    || Y  || N  || N* || N  || YM || N  ||  Y  || Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
    101 ||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || R  ||  M  || M  ||    || R  ||  Y  ||  R ||  M || #73    || add views
     101||    || N  || N  ||    || N  || N  || N  || N  || Y  || Y* || R  ||  M  || N  ||    || R  ||  Y  ||  R ||  M || #73    || add views
    102102||    || N  || N  ||  Y ||    || M  ||    ||    || R  || R  || N  ||  N  ||    ||    || N  ||     ||  N ||    || #71    || Allow Undecidable Instances
    103103||    || N  || Y* ||    ||  R ||    ||    || N  || R  || M  || R  ||  Y  || Y  ||    || Y  ||     ||  N ||  N || #54    || add overlapping or incoherent instances