agda/agda-stdlib
The Agda standard library
17 Releases
Latest: 1w ago
v2.4Latest
MatthewDaggitt·1w ago·June 17, 2026v2.3
MatthewDaggitt·10mo ago·August 2, 2025v2.2
MatthewDaggitt·1y ago·January 15, 2025v2.1.1
MatthewDaggitt·1y ago·September 3, 2024Compatibility release with Agda 2.7.0
Version 2.1v2.1
MatthewDaggitt·1y ago·July 27, 2024Version 2.0v2.0
MatthewDaggitt·2y ago·December 12, 2023Version 1.7.3v1.7.3
MatthewDaggitt·2y ago·October 13, 2023A minor release to ensure compatibility with Agda 2.6.4
Version 1.7.2v1.7.2
MatthewDaggitt·3y ago·February 1, 2023📋 Changes
- In accordance with changes to the flags in Agda 2.6.3, all modules that previously used
- Updated the code using `primFloatToWord64` - the library API has remained unchanged.
Version 1.7.1v1.7.1
MatthewDaggitt·4y ago·November 22, 2021A minor release to ensure that the library's Cabal file is now compatible with GHC 9.2
Version 1.7v1.7
MatthewDaggitt·5y ago·June 20, 2021Compatible with Agda 2.6.2
Version 1.6v1.6
MatthewDaggitt·5y ago·April 22, 2021Version 1.5v1.5
MatthewDaggitt·5y ago·January 26, 2021Version 1.4v1.4
MatthewDaggitt·5y ago·September 18, 2020Version 1.3v1.3
MatthewDaggitt·6y ago·March 17, 2020Version 1.2v1.2
MatthewDaggitt·6y ago·December 19, 2019Version 1.1v1.1
MatthewDaggitt·6y ago·December 19, 2019Version 1.0v1.0
MatthewDaggitt·7y ago·April 12, 2019