[Agda] Agda Tutorial darcs repo & pandoc backend
Peter Divianszky
divipp at gmail.com
Thu Feb 5 17:53:52 CET 2015
I've just came back to this.
I think the command line parser of Agda could be refactored, see issue
#1418 for context:
https://code.google.com/p/agda/issues/detail?id=1418
Cheers,
Peter
On 2013-02-26 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?
>
More information about the Agda
mailing list