idris-lang/Idris-dev — pull request #868 by david-christiansen (2014-02-08 10:10:03+00:00)
Title: Add Uninhabited to Prelude

Fixes #859.

If there will be another patch-release on 0.9.11, it might be good to wait with this one, as it's slightly backwards-incompatible. Client code need only delete an import to fix itself, but it's an incompatibility nonetheless.