idris-lang/Idris-dev — pull request #952 by JanBessai (2014-03-05 16:20:32+00:00)
Title: Tail recursive implementations of foldr for Vect and List

This patch was proposed earlier with a failing regression test, but the failure was identified as an instance of https://github.com/idris-lang/Idris-dev/issues/443 which is unrelated to foldr and tail recursion.