APA (7th ed.) Citation
(2025). The Agda standard library: Version 2.0. Journal of Open Source Software.
Chicago Style (17th ed.) Citation
"The Agda Standard Library: Version 2.0." Journal of Open Source Software 2025.
MLA (9th ed.) Citation
"The Agda Standard Library: Version 2.0." Journal of Open Source Software, 2025.
Warning: These citations may not always be 100% accurate.