[Agda] Releasing app with bundled Agda

[Nils Anders Danielsson]

On 2015-10-22 13:16, Nils Anders Danielsson wrote:
> [...] perhaps all you need to do is to include a copy of each one in
> the program.

I looked at your Licence.md. The statement "The file
agda-writer/blob/master/Agda%20Writer/agda/agda is licenced as follows:
[...]" is not correct. The Agda license only applies to parts of the
Agda source code. A couple of Agda source files use different licenses.
Furthermore, when you compile the program you include code from lots of
other libraries.

-- 
/NAD