Project link: http://github.com/dannypsnl/agda-tree
Converts agda produced *.tree to valid *.tree.
*.tree