How To Generate Web Pages From Source Code

To generate highlighted, hyperlinked web pages from source code, run the following command in a shell:

  agda --html --html-dir=<output directory> <root module>

You can change the way in which the code is highlighted by providing your own CSS file instead of the default one (use the --css option).