agda-tree [agda-tree]

2024 - 2025 · Lîm Tsú-thuàn · http://github.com/dannypsnl/agda-tree

Converts agda produced *.tree to valid *.tree.