edwinb/Idris-dev — pull request #225 by david-christiansen (2013-03-12 09:57:39+00:00)
Title: Added typeclass for uninhabited types

This typeclass can make pleasing the completion checker much easier, as well
as when using a contradiction.