agda.github.io/agda-stdlib/master/Data.Vec.html

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

  • General Meta Tags

    2
    • title
      Data.Vec
    • charset
      utf-8

  • Link Tags

    1
    • stylesheet
      Agda.css