Releases
For versions 0.7 and earlier, the READMEs contain and link to library documentation.
Version | Released | Changelog | ReadMe | Installation | Tested with Agda version(s) |
2.0 | 2023-12-12 | Changelog | ReadMe | Installation | 2.6.4.3, 2.6.4.2, 2.6.4.1 and 2.6.4 |
1.7.3 | 2023-10-13 | Changelog | ReadMe | Installation | 2.6.4 and 2.6.3 |
1.7.2 | 2023-01-31 | Changelog | ReadMe | Installation | 2.6.3 |
1.7.1 | 2021-11-22 | Changelog | ReadMe | Installation | 2.6.3, 2.6.2.2, 2.6.2.1 and 2.6.2 |
1.7 | 2021-06-20 | Changelog | ReadMe | Installation | 2.6.2 |
1.6 | 2021-04-22 | Changelog | ReadMe | Installation | 2.6.1.3 and 2.6.1 |
1.5 | 2021-01-26 | Changelog | ReadMe | Installation | 2.6.1.3, 2.6.1.2, 2.6.1.1 and 2.6.1 |
1.4 | 2020-09-18 | Changelog | ReadMe | Installation | 2.6.1 and 2.6.1.1 |
1.3 | 2020-03-17 | Changelog | ReadMe | Installation | 2.6.1 |
1.2 | 2019-11-11 | Changelog | ReadMe | Installation | 2.6.0.1 |
1.1 | 2019-06-29 | Changelog | ReadMe | Installation | 2.6.0.1 |
1.0.1 | 2019-04-23 | Changelog | ReadMe | Installation | 2.6.0.1 and 2.6.0 |
1.0 | 2019-04-12 | Changelog | ReadMe | Installation | 2.6.0 |
0.17 | 2018-10-20 | Changelog | ReadMe | Installation | 2.5.4.2, 2.5.4.1 and 2.5.4 |
0.16.1 | 2018-08-17 | Changelog | ReadMe | Installation | 2.5.4.1 and 2.5.4 |
0.16 | 2018-06-08 | Changelog | ReadMe | Installation | 2.5.4.1 and 2.5.4 |
0.15 | 2018-03-12 | Changelog | ReadMe | Installation | 2.5.3 |
0.14 | 2017-09-11 | Changelog | ReadMe | Installation | 2.5.3 |
0.13 | 2016-12-22 | Changelog | ReadMe | Installation | 2.5.2 |
0.12 | 2016-04-16 | Changelog | ReadMe | Installation | 2.5.1.2, 2.5.1.1 and 2.5.1 |
0.11 | 2015-10-28 | Changelog | ReadMe | | 2.4.2.5 and 2.4.2.4 |
0.10 | 2015-09-23 | Changelog | ReadMe | | 2.4.2.3 |
0.9 | 2014-11-14 | | ReadMe | | 2.4.2.2 and 2.4.2.1 |
0.8.1 | 2014-08-29 | | ReadMe | | 2.4.2 |
0.8 | 2014-06-11 | | ReadMe | | 2.4.0.2, 2.4.0.1 and 2.4.0 |
0.7 | 2013-01-29 | | ReadMe | | 2.3.2.2, 2.3.2.1 and 2.3.2 |
0.6 | 2011-12-27 | | ReadMe | | 2.3.0 |
0.5 | 2011-02-20 | | ReadMe | | 2.2.10 |
0.4 | 2010-09-27 | | ReadMe | | 2.2.8 |
0.3 | | | ReadMe | | 2.2.6 |
0.2 | | | ReadMe | | 2.2.4 |
0.1 | | | ReadMe | | 2.2.2 |
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
- Look for the option
Agda2 Include Dirs
. Insert the path DIR/src
.
- In the development version under git one needs instead to look for the option
Agda2 Program Args
. Insert for each path element --include-path=path
where path is your path. One path element should be the current directory, .
, and one should be the location of the standard-library 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.