idris-hackers/eff-tutorial — pull request #9 by david-christiansen (2014-09-30 11:39:18+00:00)
Title: Naming update

Fixes #8.