[Agda] Agda Tutorial darcs repo & pandoc backend

Nils Anders Danielsson nad at chalmers.se
Tue Feb 26 11:25:10 CET 2013

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?


More information about the Agda mailing list