3 ms·

Here's the Wikipedia article: https://en.wikipedia.org/wiki/Cod_Wars https://en.wikipedia.org/wiki/Cod_Wars