Directory listing for Agda-2.6.20240714 documentation

Agda-2.6.20240714-docs/doc/