[Agda] Agda Tutorial darcs repo & pandoc backend

[Peter Divianszky]

On 26/02/2013 11:25, Nils Anders Danielsson wrote:
> On 2013-02-25 11:20, Peter Divianszky wrote:
>> The following Haskell source files were modified:
>
> Tracking changes to the files that you copied could be awkward. Do you
> think your job could have been easier if the Agda code base had been
> structured differently?

Yes, soon I'll send you refactoring patches to the Agda compiler sources 
and you can decide whether it is worth to include them.
With these patches I can minimize the copied parts further.