JuliaLang/julia — pull request #8685 by StephenVavasis (2014-10-15 03:53:28+00:00)
Title: New discussion about dicts with mutable keys

Documentation includes description of proposed new function checkcorrectness, which is in a separate pull request.