idris-lang/Idris-dev — pull request #976 by ahmadsalim (2014-03-17 10:57:12+00:00)
Title: Fixes idris-lang/Idris-dev#971. 

Renames induction holes such that they are unique in context.