Standard Library

Releases

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.

NOTE: the standard library has moved to github!

  • 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.

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
  • Look for the option Agda2 Include Dirs. Insert the path DIR/src.
  • Click Save for Future Sessions.
  • If the Save for Future Sessions is grey, click the State button inside Agda2 Include Dirs and choose Save for Future Sessions there.