Zulip Chat Archive

Stream: condensed mathematics

Topic: admit

Johan Commelin (Jul 13 2022 at 11:56):

A little quiz, while we are almost there.
The keyword admit does the same as sorry. Over time, I've often replaced sorry by admit in commented code so that it doesn't influence the sorry-count, but at the same time we could keep the commented code around.

How many lines in the project contain the word admit?

Johan Commelin (Jul 13 2022 at 11:57):

/poll How many lines contain admit

0-10
-10-25
-25-50
-50-75
-75-100
100

Johan Commelin (Jul 13 2022 at 14:17):

The correct answer is 79 :grinning:

Kevin Buzzard (Jul 13 2022 at 18:33):

And how many are commented out?

Adam Topaz (Jul 13 2022 at 18:33):

They should all be commented out.

Last updated: Dec 20 2023 at 11:08 UTC