agda-stdlib
The Agda Standard Library
The standard library aims to contain all the tools needed to write both programs and proofs easily. While we always try and write efficient code, we prioritize ease of proof over type-checking and normalization performance. If computational performance is important to you, then perhaps try agda-prelude instead.
- Versions: 2.1.1
- Website: https://wiki.portal.chalmers.se/agda/pmwiki.php
- Licenses: Expat
- Package source: gnu/packages/agda.scm
- Builds: See build status
- Issues: See known issues
Installation
Install the latest version of agda-stdlib as follows:
guix install agda-stdlib
Or install a particular version:
guix install agda-stdlib@2.1.1
You can also install packages in augmented, pure or containerized environments for development or simply to try them out without polluting your user profile. See the guix shell documentation for more information.
Badge code
You can use the following badge to inform users of agda-stdlib about the latest version available in Guix.
Example HTML:
<a href='https://packages.guix.gnu.org/packages/agda-stdlib'><img src='https://packages.guix.gnu.org/packages/agda-stdlib/badges/latest-version.svg' alt='Version in GNU Guix'></a>
Example Markdown:
[](https://packages.guix.gnu.org/packages/agda-stdlib)
Example Org:
[[https://packages.guix.gnu.org/packages/agda-stdlib][https://packages.guix.gnu.org/packages/agda-stdlib/badges/latest-version.svg]]