<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">Thanks for noticing this. <div class=""><br class=""></div><div class="">I’m kind of lost here. I should include other parts of Agda licence as well, right? How about compiled Agda? If I understand correctly from your response… Agda source code is licenced as stated in LICENCE (<a href="https://github.com/agda/agda/blob/master/LICENSE" class="">https://github.com/agda/agda/blob/master/LICENSE</a>), but compiled file includes lots of other libraries? </div><div class=""><br class=""></div><div class="">In conclusion: Is there reasonable way for me to include executable Agda at all?</div><div class=""><br class=""></div><div class="">Also, I’ve removed unnecessary files from source. Basically I only included Agda executable and Primitive.agda/Primitive.agdai. </div><div class=""><br class=""></div><div class="">Can you please help me sort this thing out?</div><div class=""><br class=""></div><div class="">Thanks, Marko</div><div class=""><div class=""><br class=""></div><div class=""><div><blockquote type="cite" class=""><div class="">On 7. nov. 2015, at 12:39, Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se" class="">nad@cse.gu.se</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On 2015-10-22 13:16, Nils Anders Danielsson wrote:<br class=""><blockquote type="cite" class="">[...] perhaps all you need to do is to include a copy of each one in<br class="">the program.<br class=""></blockquote><br class="">I looked at your Licence.md. The statement "The file<br class="">agda-writer/blob/master/Agda%20Writer/agda/agda is licenced as follows:<br class="">[...]" is not correct. The Agda license only applies to parts of the<br class="">Agda source code. A couple of Agda source files use different licenses.<br class="">Furthermore, when you compile the program you include code from lots of<br class="">other libraries.<br class=""><br class="">-- <br class="">/NAD<br class=""></div></div></blockquote></div><br class=""></div></div></body></html>