Releases

For versions 0.7 and earlier, the READMEs contain and link to library documentation.

Development version

Note that the development version of the library often requires the development version of Agda.

Git repository. README.

You can get the development version as follows: git clone https://github.com/agda/agda-stdlib.git

Contributions are welcome, see the README.

From Agda-2.5: Telling Agda about the location of the standard library

See INSTALLATION.

Until Agda-2.4: Setting up the Emacs mode for use with the library

Download the library and unpack it into some directory DIR .

. In Emacs, type the following commands:

M-x load-library RET agda2-mode RET M-x customize-group RET agda2 RET