idris-lang/Idris-dev — pull request #1492 by edwinb (2014-08-26 10:47:16+00:00)
Title: Uniqueness fixes

These make 'where' and metavariables work better with unique values