The Agda Community. (2025). Agda Standard Library (Version 2.3.0) [Computer software]. https://github.com/agda/agda-stdlib