Agda-stdlib
Agda standard libraries
To Classify
1
Additional information
- Category
- To Classify
- Homepage
- https://wiki.portal.chalmers.se/agda/agda.php?n=Libraries.StandardLibrary
- Available via
- Fedora, Arch Linux
- Catalog data as of
- 9/3/2026 (dataset snapshot date — per-app update dates aren't tracked yet)