idris-lang/Idris-dev — pull request #673 by ahmadsalim (2013-11-26 18:26:45+00:00)
Title: Feature/eliminators

Still experimental