Let's go one step further: (let ((p (read-from-network))) (lambda () (eval p)) ie. basically, the server program is an interpreter that loads the actual progr

Let's go one step further: (let ((p (read-from-network))) (lambda () (eval p)) ie. basically, the server program is an interpreter that loads the actual program when it's booted. From this, you can see that the whole discussion comes from cheating. The actual source code, is not only the source of the interpreter, but the source the administrator will load into the interpreter when he boots the server. This source should also be "contaminated" by the AGPL. One may also consider that already the GPL has the provision that you should provide all the files required to build the program (makefiles, configurations, etc). But this could also cover the sources of the interpreters or compilers and tools needed to build the software, if the sources of the software depends on some specific features from the tools. Ie. basically, any software that cannot be built from a simple command (but requires days of work to install "dependencies", "compilers" and "tools"), doesn't fulfill the GPL (or the AGPL)! Software should be packaged with their gcc version (with C now evolving at such a fast pace!) And don't give us the sources of gcc for the sources of your software, don't cheat!