idris2.readthedocs.io

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

Linked Hostnames

4

  • General Meta Tags

    9
    • title
      Documentation for the Idris 2 Language — Idris2 0.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

    5
    • index
      genindex.html
    • next
      tutorial/index.html
    • search
      search.html
    • stylesheet
      _static/pygments.css?v=b86133f3
    • stylesheet
      _static/css/theme.css?v=e59714d7

Links

4