[Agda] Agda Tutorial darcs repo & pandoc backend

[Nils Anders Danielsson]

On 2013-01-23 15:14, Peter Divianszky wrote:
> On the other hand, pandoc dependencies are too much for the Agda compiler.
> Maybe conditional compilation could solve this.
> What do you think?

Can you use Agda as a library instead of putting the new functionality
in the main code base? (Ignoring the lack of a welldefined library
API...)

-- 
/NAD