Directory listing for Agda-2.7.0 documentation

Agda-2.7.0-docs/doc/user-manual/