Changes between Version 80 and Version 81 of StrawPoll-1
- Timestamp:
- 03/28/06 13:50:47 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-1
v80 v81 86 86 || || || Y || || N || N || N || || || || N || || || || || N || || #64 || add recursive do syntax 87 87 || || || M || || || Y || N || N || || || N || Y || || Y || || N || || #37 || add GADTs 88 || || || N || || N || N || N || N || || M|| N || M || || || || N || M || #73 || add views88 || || || N || || N || N || N || N || || Y* || N || M || || || || N || M || #73 || add views 89 89 || || || N || Y || || M || || || || || || N || || || || N || || #71 || Allow Undecidable Instances 90 90 || || || N || || || || || N || || || N || Y || || || || N || N || #54 || add overlapping or incoherent instances
