Changes between Version 1 and Version 2 of Ticket #6637, comment 7


Ignore:
Timestamp:
04/09/14 07:38:07 (6 years ago)
Author:
slabbe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #6637, comment 7

    v1 v2  
    1 > If we go for "RecursiveSet" (or RecursiveEnumeratedSet or variant thereof)
     1> If we go for !RecursiveSet (or !RecursiveEnumeratedSet or variant thereof)
    22
    3 I like !RecursiveSet but I think !RecursiveEnumeratedSet is more related to what we do:
     3I like !RecursiveSet. Maybe !RecursiveEnumeratedSet is more related to what we do but is also longer.
    44
    55Some links: