Since one can program forester as below

\def\embed[src]{
  \<html:embed>[type]{text/html}[src]{\src}{}
}

and then embed a produced html page into certain tree. Now, a tree
can show definition of interactive Agda code, seems a good way to
do literate programming.