agda-tree 0.3.4

A build tool for *.lagda.tree format
Documentation