Closed adam-wyluda closed 8 years ago
Implements #81.
As with Array.sameElements, I think there is no point of having these methods for EmbedArray since its implementation is based on element equality.
This needs a rebase on top of latest master.
Rebased with master. Should be ready to merge (if it looks fine).
LGTM
Implements #81.
As with Array.sameElements, I think there is no point of having these methods for EmbedArray since its implementation is based on element equality.