3 ms·Because it's busy trying to beta-reduce (Y Y).by dfranke 20y agoBecause it's busy trying to beta-reduce (Y Y).nostrademons 20y agoClearly, they need to be lazier.