agda.readthedocs.io/en/v2.7.0/language/syntax-declarations.html

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

Linked Hostnames

3

  • General Meta Tags

    8
    • title
      Syntax Declarations — Agda 2.7.0 documentation
    • charset
      utf-8
    • viewport
      width=device-width, initial-scale=1
    • viewport
      width=device-width, initial-scale=1.0
    • readthedocs-project-slug
      agda

  • Link Tags

    6
    • index
      ../genindex.html
    • next
      telescopes.html
    • prev
      syntactic-sugar.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css?v=fa44fd50

Links

3