idris-lang/Idris-dev — pull request #1413 by david-christiansen (2014-07-22 11:53:16+00:00)
Title: Add Uninhabited instance for Any p []

This lets users use `absurd` to discharge proof obligations about Any.