Changes between Version 91 and Version 92 of StrawPoll-1
- Timestamp:
- 03/29/06 03:00:52 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-1
v91 v92 85 85 || Y* || || N || || Y || Y || N || || || N || N || || || || || || Y || #68 || Eliminate tabs 86 86 || || || Y || || N || N || N || || || Y || N || || || || || N || || #64 || add recursive do syntax 87 || || || M || || || Y || N || N || || 87 || || || M || || || Y || N || N || || Y || N || Y || || Y || || N || || #37 || add GADTs 88 88 || || || N || || N || N || N || N || || Y* || N || M || N || || || N || M || #73 || add views 89 89 || || || N || Y || || M || || || || N || || N || || || || N || || #71 || Allow Undecidable Instances
