[Agda] Agda Tutorial darcs repo & pandoc backend
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