[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?

-- 
/NAD


More information about the Agda mailing list