An Agda Tutorial (


% 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.