Agda

Reference. Agda

Agda Development Team · 2024 · Web

Cite as @agda (helia, typst) · \cite{agda} (LaTeX)

BibTeX

bibtex · 6 lines

@misc{agda,
 title = {Agda},
 author = {{Agda Development Team}},
 year = {2024},
 url = {https://wiki.portal.chalmers.se/agda}
}

hayagriva YAML (typst)

yaml · 6 lines

agda:
  type: misc
  title: Agda
  author: Agda Development Team
  date: 2024
  url: https://wiki.portal.chalmers.se/agda