idris-lang/Idris-dev — pull request #892 by SimonJF (2014-02-14 13:02:31+00:00)
Title: Add mapVE for mapping over Vects in Eff

mapE existed for lists, but vectors were feeling left out.