@hackage PandocAgda2.3.3.0.2

Pandoc support for literate Agda

Categories
License
BSD-3-Clause
Maintainer
Péter Diviánszky <divipp@gmail.com>
Links
Versions
- 2.3.3.0.2 Mon, 11 Mar 2013
- 2.3.3.0.1 Thu, 28 Feb 2013
- 2.3.3 Mon, 25 Feb 2013

% Agda Tutorial

Usage

An online HTML version can be found at

Install the darcs version of the Agda compiler
Install agdapandoc which is a slightly modified version of the Agda compiler.
```
cabal install
```
Generate the html view of the tutorial.
```
cd tutorial; make
```

This Agda tutorial is under development.

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