idris-hackers/eff-tutorial — pull request #12 by ahmadsalim (2014-10-13 19:42:24+00:00)
Title: Renamed 'FalseElim' to 'void'

This relates to idris-lang/Idris-dev#1619