4 ms·
If I could write a specification that satisfied all those properties I'd be happy if it was even remotely as simple as writing the code.
by contravariant 8y ago
If I could write a specification that satisfied all those properties I'd be happy if it was even remotely as simple as writing the code.