Email or username:

Password:

Forgot your password?
Top-level
Loïc Denuzière

@joelvanderwerf
Does that mean that there's a way to cut a program into five pieces that's equivalent to fork()?
@unnick

1 comment
greg

@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 ;)

Go Up