2 comments

[ 4.7 ms ] story [ 20.0 ms ] thread
How long did the first example take to compile?!
It took csc on my pc less than a second to disprove that that 3 pigeons fit into 2 pigeon holes. Iterating over 2^6=64 combinations shouldn't take that long.