idris-lang/Idris-dev — pull request #925 by JanBessai (2014-02-24 05:45:39+00:00)
Title: Tail recursive treeToList

Avoids calling (++) and should be faster.