For versions 0.7 and earlier, the READMEs contain and link to library documentation.
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
Until Agda-2.4: Setting up the Emacs mode for use with the library
- Download the library and unpack it into some directory
- 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
- In the development version under git one needs instead to look for the option
Agda2 Program Args. Insert for each path element
--include-path=pathwhere path is your path. One path element should be the current directory,
., and one should be the location of the standard-library
Save for Future Sessions.
- If the
Save for Future Sessionsis grey, click the
Agda2 Include Dirsand choose
Save for Future Sessionsthere.
Edit | History | Recent Changes (all) | Search
Page last modified on February 01, 2023, at 02:08 AM
Powered by PmWiki