agda.readthedocs.io/en/v2.5.4.2

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

Linked Hostnames

3
  • General Meta Tags

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

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

Links

4