idris-lang/Idris-dev — pull request #1062 by johnny-john (2014-04-13 22:44:06+00:00)
Title: More operations on lists

Hi all!

Total Idris newbie here. I added two functions I like from Haskell Data.List, although I am not sure if you want to include all functions from HS Data.List in the Prelude. I looked after a Data.List in Idris but I found none.

What is your opinion about this? (Please be careful about saying yes because I will keep PRing :D)