This package browser is in early development. Mind the rough edges.

agda-stdlib 1.7.3

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.

Installation

Install agda-stdlib 1.7.3 as follows:

guix install agda-stdlib@1.7.3

Or install the latest version:

guix install agda-stdlib

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.