agda.readthedocs.io/en/v2.6.0.1/getting-started/installation.html

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

Linked Hostnames

12

  • General Meta Tags

    7
    • title
      Installation — 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

    7
    • canonical
      https://agda.readthedocs.io/en/v2.6.0.1/getting-started/installation.html
    • index
      ../genindex.html
    • next
      hello-world.html
    • prev
      prerequisites.html
    • search
      ../search.html

Links

19