Changes between Version 91 and Version 92 of StrawPoll-1


Ignore:
Timestamp:
Mar 29, 2006 11:00:52 AM (9 years ago)
Author:
nhn@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v91 v92  
    8585|| Y* ||    || N  ||    || Y  || Y  || N  ||    ||    || N  || N  ||     ||    ||    ||     ||    ||  Y || #68    || Eliminate tabs
    8686||    ||    || Y  ||    || N  || N  || N  ||    ||    || Y  || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax
    87 ||    ||    || M  ||    ||    || Y  || N  || N  ||    ||    || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
     87||    ||    || M  ||    ||    || Y  || N  || N  ||    || Y  || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
    8888||    ||    || N  ||    || N  || N  || N  || N  ||    || Y* || N  ||  M  || N  ||    ||     ||  N ||  M || #73    || add views
    8989||    ||    || N  ||  Y ||    || M  ||    ||    ||    || N  ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances