Excluded and other middles in licensing

[Alex Martelli]

Paul Rubin <http://phr.cx@NOSPAM.invalid> wrote:

> Note also from the Heine-Borel theorem that every closed source
> program can be covered by some finite collection of open source
> programs.

Every _compact_ one, surely?  Quoting by heart from old memories, but,
isn't Heine-Borel about (being able reduce any open covering of X to a
finite subcovering) <-> (X is compact) ...?


Alex