The javaslang tag and the vavr tag refer to the same project. It was renamed in April 2017 due to issues with the Java™ trademark.
1 Answer
Done. vavr is now the master tag, with javaslang persisting as a synonym. This should handle people who still try to use the old name.
I also manually merged the two tag wikis, because it looked like there was a bit of description in the old javaslang wiki that might be worth keeping. I don't know if it's still accurate, though. Someone who actually understands what this library does might ought to take a look. :-)
-
Thanks! I cleaned the text up a bit and added some links; several of the contributors are SO users, so with luck one of them will come along at some point and review it. Commented Oct 30, 2017 at 20:21