agda.readthedocs.io/en/latest/getting-started/index.html

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

Linked Hostnames

3

  • General Meta Tags

    9
    • title
      Getting Started — Agda 2.9.0 documentation
    • charset
      utf-8
    • readthedocs-addons-api-version
      1
    • viewport
      width=device-width, initial-scale=1
    • viewport
      width=device-width, initial-scale=1.0

  • Link Tags

    6
    • index
      ../genindex.html
    • next
      what-is-agda.html
    • prev
      ../overview.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css?v=03e43079

Links

3