Lîm Tsú-thuàn Posts Notes Projects Talks Site Roll

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.

Context

Projects [projs]

Related

agda-tree [agda-tree]