The Agda standard library: version 2.0

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

Dataset

Description

Version 2.0 of the Agda Standard Library - uploaded for publication in the Journal of Open Source Software

Date made available	20 Dec 2025
Publisher	Zenodo

DOI
10.5281/zenodo.17998438

Cite this

DataSetCite

Daggitt, M. (Creator), Allais, G. (Creator), McKinna, J. (Creator), Abel, A. M. (Creator), van Doorn, N. (Creator), Wood, J. (Creator), Norell, U. (Creator), Kidney, D. O. (Creator), Meshveliani, S. (Creator), Stucki, S. (Creator), Carette, J. (Creator), Rice, A. (Creator), Hu, J. Z. S. (Creator), Xia, L. (Creator), You, S. (Creator), Mullanix, R. (Creator), Kokke, W. (Creator) (20 Dec 2025). The Agda standard library: version 2.0. Zenodo. 10.5281/zenodo.17998438

The Agda standard library: version 2.0

Description

DOI

Cite this