Pandoc support for literate Agda

Latest on Hackage:

This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow to host generated Haddocks.

BSD3 licensed by Péter Diviánszky
Maintained by Péter Diviánszky
% Agda Tutorial


An online HTML version can be found at

Local Builds

1. Install the darcs version of the Agda compiler
2. Install `agdapandoc` which is
a slightly modified version of the Agda compiler.

cabal install

3. Generate the html view of the tutorial.

cd tutorial; make


This Agda tutorial is under development.

Any contribution is welcome, please send patches to
Please send small patches first.


% Changes

PandocAgda -->

- correct a dependency in cabal file
- README and CHANGES files

PandocAgda 2.3.3 -->

- correct LICENCE file
- correct darcs repo URL

comments powered byDisqus