[Agda] Agda Tutorial darcs repo & pandoc backend

Peter Divianszky divipp at gmail.com
Thu Feb 28 14:05:02 CET 2013

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.

More information about the Agda mailing list