PandocAgda

Pandoc support for literate Agda

Latest on Hackage:2.3.3.0.2

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 stackage.org to host generated Haddocks.

BSD3 licensed by Péter Diviánszky
Maintained by Péter Diviánszky
% 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.


Changes

% Changes

PandocAgda 2.3.3.0.1 --> 2.3.3.0.2

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

PandocAgda 2.3.3 --> 2.3.3.0.1

- correct LICENCE file
- correct darcs repo URL


comments powered byDisqus