George Russell <[EMAIL PROTECTED]> writes:
> I have no problem with software having an explicit license, I just don't see
> that it normally needs to be quoted at the top of EVERY module. (There
> are probably exceptional jurisdictions where it does, but not many.)
> The GHC method, where the license file is in the distribution and easy
> to find if you want it, seems fair enough to me.
I take a compromise position and simply write (c) Copyright nnnn. See
"LICENSING" file for details.
--
Stefan Kahrs in [Kah96] discusses the
notion of completeness--programs which never go wrong can be
type-checked--which complements Milner's notion of
soundness--type-checked programs never go wrong [Mil78].
