
<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="">Hello everyone,<div class=""><br class=""></div><div class="">for my Master’s thesis I’ve created GUI for Agda on Mac OS X systems. Basically, we aimed for usage simplicity. We reached the point, when you can run the program and start using Agda Writer, using bundled Agda.</div><div class="">Project is here (executable program isn’t uploaded yet, but you can compile the program using Xcode).</div><div class=""><a href="https://github.com/markokoleznik/agda-writer" class="">https://github.com/markokoleznik/agda-writer</a></div><div class=""><br class=""></div><div class="">Anyway, since we bundled the Agda, we need to respect Licence Agda is using. So my questions are:</div><div class="">1.) Am I allowed to bundle Agda into Agda Writer?</div><div class="">2.) Am I allowed to have compiled agda in repository and/or in program Resources when program is compiled?</div><div class="">3.) Is attribution in About enough? What should I put there?</div><div class=""><br class=""></div><div class="">If anyone should explain this, I would be very grateful.</div><div class=""><br class=""></div><div class="">Cheers,</div><div class="">Marko Koležnik</div><div class=""><br class=""></div><div class=""><br class=""></div></body></html>