[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