agda.readthedocs.io/en/v2.7.0.1/language/mixfix-operators.html

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

Linked Hostnames

3

  • General Meta Tags

    8
    • title
      Mixfix Operators — Agda 2.7.0.1 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
      module-system.html
    • prev
      lossy-unification.html
    • search
      ../search.html
    • stylesheet
      ../_static/pygments.css?v=fa44fd50

Links

3