update choice figure to include equality test with Equiv
[matthijs/master-project/dsd-paper.git] / mac-nocurry.svg
mac-nocurry.svg