RosettaCodeData/Task/Tree-traversal/Agda
..
tree-traversal.agda