An Agda Tutorial (http://people.inf.elte.hu/divip/AgdaTutorial/Index.html)

root

% Agda Tutorial

Usage
-----

An online HTML version can be found at

http://people.inf.elte.hu/divip/AgdaTutorial/Index.html


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


Development
-----------

This Agda tutorial is under development.

Any contribution is welcome, please send patches to
divipp@gmail.com
Please send small patches first.