Journal article
The Agda standard library: version 2.0
Authors
Daggitt ML; Allais G; McKinna J; Abel A; van Doorn N; Wood J; Norell U; Kidney DO; Meshveliani S; Stucki S
Journal
The Journal of Open Source Software, Vol. 10, No. 116,
Publisher
The Open Journal
Publication Date
December 20, 2025
DOI
10.21105/joss.09241
ISSN
2475-9066