agda.readthedocs.io/en/v2.6.0.1

Preview meta tags from the agda.readthedocs.io website.

Linked Hostnames

3

  • General Meta Tags

    7
    • title
      Welcome to Agda’s documentation! — Agda 2.6.0.1 documentation
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1.0
    • readthedocs-project-slug
      agda
    • readthedocs-version-slug
      v2.6.0.1

  • Link Tags

    6
    • canonical
      https://agda.readthedocs.io/en/v2.6.0.1/
    • index
      genindex.html
    • next
      overview.html
    • search
      search.html
    • stylesheet
      _static/css/theme.css

Links

4