idris-lang/Idris-dev — pull request #1713 by jech (2014-11-13 18:46:35+00:00)
Title: Add %elim to various types

This merely adds %elim to tuples, Either and Ord.