The "Edit" links in developer mode sends the user to the autogenerated versions of the trees, i.e., the trees with Agda highlighting inserted. Since these are autogenerated they should not be edited, and instead the links should send the user to the file the tree is generated from.
The "Edit" links in developer mode sends the user to the autogenerated versions of the trees, i.e., the trees with Agda highlighting inserted. Since these are autogenerated they should not be edited, and instead the links should send the user to the file the tree is generated from.