>>8
No, that is not permitted. Once you include AGPL code in your software, the entire code base has to be licensed under AGPL when distributed. That is the "viral" nature of the AGPL. Refer to ยง5c in https://www.gnu.org/licenses/agpl-3.0.en.html
Related reading: https://stackoverflow.com/questions/11819831/including-gpl-external-library-in-mit-code
>>1
That's not the only license violation in SchemeBBS. There are at least two other violations:
* deps/httpio.scm - GPL code copied from MIT Scheme.
* deps/server.scm - GPL code.
SchemeBBS is violating the GPL by claiming to be licensed under the MIT license. SchemeBBS should be licensed under the GPL to fix these two licensing conflicts.