@article{daggitt_agda_2025,
  title = {The {{Agda}} Standard Library: Version 2.0},
  shorttitle = {The {{Agda}} Standard Library},
  author = {Daggitt, Matthew L. and Allais, Guillaume and McKinna, James and Abel, Andreas and Doorn, Van and Nathan and Wood, James and Norell, Ulf and Kidney, Donnacha Ois{\'i}n and Meshveliani, Sergei and Stucki, Sandro and Carette, Jacques and Rice, Alex and s Hu, Jason Z. and Xia, Li-yao and You, Shu-Hung and Mullanix, Reed and Kokke, Wen},
  year = 2025,
  month = dec,
  journal = {Journal of Open Source Software},
  volume = {10},
  number = {116},
  pages = {9241},
  issn = {2475-9066},
  doi = {10.21105/joss.09241},
  urldate = {2026-01-05},
  abstract = {Daggitt et al., (2025). The Agda standard library: version 2.0. Journal of Open Source Software, 10(116), 9241, https://doi.org/10.21105/joss.09241},
  langid = {english}
}