idris-lang/Idris-dev — pull request #1037 by paulkoerbitz (2014-04-06 17:41:12+00:00)
Title: Fix control module names

The module names in Arrow.idr and Catchable.idr are inconsistent with the directories they live in.

If this is indeed a mistake then this pull request fixes it.