idris-lang/Idris-dev — pull request #1169 by david-christiansen (2014-05-02 07:39:40+00:00)
Title: Add Uninhabited instances for so False

Fixes #1168