Closed daira closed 10 years ago
There's too much useful [L]GPL code out there to forgo using it at all for license reasons. So provisionally we'll allow [L]GPL dependencies, although we won't import any [L]GPL code into the main codebase.
I changed the license to BSD 3-Clause, to match Idris. There's very little practical difference between this and MIT; left to my own devices, I would prefer MIT because of its more permissive wording about relicensing, but mixing MIT and BSD3 could cause unnecessary confusion about license compatibility.
The license for new code and docs written for this project will be MIT, and there will be no dependencies on code that is under non-open-source licenses. However, what is our policy for handling any license incompatibilities between different open source licenses?