idris-lang/Idris-dev — pull request #1229 by LeifW (2014-05-14 18:33:05+00:00)
Title: Install lens, not data-lens

Nothing in Idris depends on data-lens AFAIK. Also, semigroups,
semigroupoids are already deps of lens.