The Agda standard library: version 2.0

Matthew L. Daggitt; Guillaume Allais; James McKinna; Andreas Abel; Van Doorn; Nathan; James Wood; Ulf Norell; Donnacha Oisín Kidney; Sergei Meshveliani; Sandro Stucki; Jacques Carette; Alex Rice; Jason Z. s. Hu; Li-yao Xia; Shu-Hung You; Reed Mullanix; Wen Kokke

doi:10.21105/joss.09241

Review

Editor: @danielskatz (all papers)
Reviewers: @dorchard (all reviews), @vidsinghal (all reviews), @benmandrew (all reviews)

Authors

Matthew L. Daggitt (0000-0002-2552-3671), Guillaume Allais (0000-0002-4091-657X), James McKinna (0000-0001-6745-2560), Andreas Abel (0000-0003-0420-4492), Van Doorn, Nathan (0009-0009-0598-3636), James Wood (0000-0002-8080-3350), Ulf Norell (0000-0003-2999-0637), Donnacha Oisín Kidney (0000-0003-4952-7359), Sergei Meshveliani (0000-0002-4224-6178), Sandro Stucki (0000-0001-5608-8273), Jacques Carette (0000-0001-8993-9804), Alex Rice (0000-0002-2698-5122), Jason Z. s. Hu (0000-0001-6710-6262), Li-yao Xia (0000-0003-2673-4400), Shu-Hung You (0009-0003-0003-3945), Reed Mullanix (0000-0002-7970-4961), Wen Kokke (0000-0002-1662-0381)

Citation

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

@article{Daggitt2025, doi = {10.21105/joss.09241}, url = {https://doi.org/10.21105/joss.09241}, year = {2025}, publisher = {The Open Journal}, volume = {10}, number = {116}, pages = {9241}, author = {Daggitt, Matthew L. and Allais, Guillaume and McKinna, James and Abel, Andreas and Nathan, Van Doorn, and Wood, James and Norell, Ulf and Kidney, Donnacha Oisín and Meshveliani, Sergei and Stucki, Sandro and Carette, Jacques and Rice, Alex and Hu, Jason Z. s. and Xia, Li-yao and You, Shu-Hung and Mullanix, Reed and Kokke, Wen}, title = {The Agda standard library: version 2.0}, journal = {Journal of Open Source Software} }

Copy citation string · Copy BibTeX