« Home
Contribution.
agda
[agda]
2024 - 2026
·
https://github.com/agda/agda
Literate forester
#7403
#7886
#8290
, hence
agda-tree
is no needed any more.