Proactive Synthesis of Recursive Tree-to-String Functions from Examples - View it on GitHub