idris-lang/Idris-dev — pull request #1619 by ahmadsalim (2014-10-11 18:02:55+00:00)
Title: Removed '_|_' as a built in declaration and renamed it to 'Void'

'FalseElim' now 'VoidElim' to match up.
This is in line with (and concludes) the #1516 renaming effort.