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