Hello,
we have e.g.
1+[[1,2],3,[[3,[4,5]]]];
[[2,3],4,[[4,[5,6]]]]
which is enormously helpful. Now it would be great if the same
would apply also to sets and the combination of sets and lists,
so that for example
1+{[1,2],3,{4,5}};
would yield
{[2,3],4,{5,6}}
For us, for which such set-list-constructions are very important,
that would be a great help.
Merry Christmas and a Happy New Year!
Oliver
--
Dr. Oliver Kullmann
Department of Computer Science
College of Science, Swansea University
Faraday Building, Singleton Park
Swansea SA2 8PP, UK
http://cs.swan.ac.uk/~csoliver/