@joelvanderwerf Does that mean that there's a way to cut a program into five pieces that's equivalent to fork()?@unnick
@tarmil @joelvanderwerf @unnick I think it means that Autotools is able to find a constructive proof of AC, which might indicate that Autotools is not consistent. But we already knew that ;)
Gregory's Server
@tarmil @joelvanderwerf @unnick I think it means that Autotools is able to find a constructive proof of AC, which might indicate that Autotools is not consistent. But we already knew that ;)