Ooh, cool.
{X|X∉X}∈{X|X∉X}⇐⇒{X|X∉X}∉{X|X∉X} (1)
{X|X∉X}∈{X|X∉X}∧¬{X|X∉X}∈{X|X∉X} (2)
Thence G(me) (2,explosion)
where G(x): x has 1,000,000 bars of gold
Thanks for the gold
Ooh, cool.
{X|X∉X}∈{X|X∉X}⇐⇒{X|X∉X}∉{X|X∉X} (1)
{X|X∉X}∈{X|X∉X}∧¬{X|X∉X}∈{X|X∉X} (2)
Thence G(me) (2,explosion)
where G(x): x has 1,000,000 bars of gold
Thanks for the gold
Couldn't a Chromium clone relicensed under some copyleft license also be a viable option against Chromiums? Chromium is licensed under BSD-3 which Wikipedia claims is compatible with the GPL, so there wouldn't be any legal reason this couldn't be done, right? Other than not really wanting to split a project with excessive forks (which is only bad if you think that the Chromium project itself is a net good), is there some technical or other reason why this would be a bad idea?
Whoops, looks like someone forgot to make the base juice class abstract…