
agda.readthedocs.io/en/v2.5.4.2
Preview meta tags from the agda.readthedocs.io website.
Linked Hostnames
3General Meta Tags
7- titleWelcome to Agda’s documentation! — Agda 2.5.4.2 documentation
- charsetutf-8
- viewportwidth=device-width, initial-scale=1.0
- readthedocs-project-slugagda
- readthedocs-version-slugv2.5.4.2
Link Tags
7- canonicalhttps://agda.readthedocs.io/en/v2.5.4.1/
- indexgenindex.html
- nextoverview.html
- searchsearch.html
- stylesheet_static/css/theme.css
Links
4- http://sphinx-doc.org
- https://github.com/agda/agda/blob/v2.5.4.2/doc/user-manual/index.rst
- https://github.com/rtfd/sphinx_rtd_theme
- https://readthedocs.org