edwinb/Idris-dev — pull request #441 by JanBessai (2013-08-05 09:00:51+00:00)
Title: Enhance the foldr implementations of Vect and List to be tail recursive

Now foldr for big Lists/Vects will no longer result in a Segfault