idris-lang/Idris-dev — pull request #1063 by puffnfresh (2014-04-14 04:25:16+00:00)
Title: Add instance Uninhabited _|_

I'm playing around but seems like I should be able to write this:

```
false : _|_ -> a
false = absurd
```

But we don't have an `Uninhabited` instance for `_|_` - the easiest one:

```
instance Uninhabited _|_ where
uninhabited a = a
```

The implementation is just `id`!