Download Latest Version v2.3 source code.tar.gz (1.3 MB)
Email in envelope

Get an email when there's a new version of The Agda standard library

Home
Name Modified Size InfoDownloads / Week
v2.3 2025-08-02
v2.2 2025-01-15
v2.1.1 2024-09-03
v2.1 2024-07-27
v2.0 2023-12-12
Totals: 5 Items   0