idris-lang/Idris-dev — pull request #1160 by ahmadsalim (2014-05-01 19:48:41+00:00)
Title: Fixes naming issue with eliminator parameters, and eliminators on empty types

Fixes #1156 amongst other things