Contribution. agda [agda]

2024 - 2026
https://github.com/agda/agda

Literate forester
1. #7403
2. #7886
3. #8290, hence agda-tree is no needed any more.