agda-tree [agda-tree]

Converts agda produced *.tree to valid *.tree.