[Agda] Bundlling Agda with agda-writer

[Andrej Bauer]

A student of mine has made an Agda GUI for OSX
(https://github.com/markokoleznik/agda-writer) for his Master's in
Pedagogical math. The goal is to bring down to a minimum the
prerequisites for using Agda (haskell, cabal, Emacs – let's be honest
these are al l very exotic things). It would be ideal if Agda were to
be bundled (as executable) with the agda-writer. It would of course
allow the user to switch to a different version of Agda if he has one.

As far as I can tell the license allows us to do that (I see Marko has
not put a license on agda-writer, but I imagine it's going to be an
open-source one). My question is technical: what needs to be bundled,
and will there be problems with Agda assuming that it can find things
in certain folders?

Has anyone tried to do this already?

With kind regards,

Andrej