@unnick
checking for Axiom of Choice ... yes
@joelvanderwerf Does that mean that there's a way to cut a program into five pieces that's equivalent to fork()?@unnick
@joelvanderwerf
Does that mean that there's a way to cut a program into five pieces that's equivalent to fork()?
@unnick