Releases

The READMEs contain and link to library documentation.

• 2013–01–29: Version 0.7. README. Tested with Agda 2.3.2.
• 2011–12–27: Version 0.6. README. Tested with Agda 2.3.0.
• 2011–02–20: Version 0.5. README. Tested with Agda 2.2.10.
• 2010–09–27: Version 0.4. README. Tested with Agda 2.2.8.
• Version 0.3. README. Tested with Agda 2.2.6.
• Version 0.2. README. Tested with Agda 2.2.4.
• Version 0.1. README. Tested with Agda 2.2.2.

Development version

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

• Darcs repository. README.
• You can get the development version as follows:
  darcs get --lazy http://www.cse.chalmers.se/~nad/repos/lib/

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.