[Agda] Expanding literate Agda

[Andrés Sicard-Ramírez]

On 12 October 2014 06:28, Pepijn Kokke <pepijn.kokke at gmail.com> wrote:

> Try to infer the literate format from the file, making it explicit with
> Agda command-line arguments if necessary.


+1


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20141012/c842cf05/attachment.html