# The Agda data directory

After installation, this directory is replicated under the location
given by `agda --print-agda-dir`.

It contains files needed by Agda, its backends, and the Emacs mode.

  * `lib/prim/`

    Agda core library

  * `emacs-mode/`

    Emacs lisp files for the `agda2` mode.

  * `MAlonzo/`

    Runtime for the GHC backend.

  * `JS/`

    Runtime for the JavaScript backend.

  * `html/`

    Style and `.js` file(s) for the HTML backend.

  * `latex/`

    Style file and tool(s) for the LaTeX backend.
