Closed jbphet closed 3 years ago
Parent issue is #9.
My IDE is flagging usages of the word "numberline" everywhere, like so:
I looked up the term, and at least according to Webster's dictionary, it should be two words, see https://www.merriam-webster.com/dictionary/number%20line. It should probably be changed in all comments.
I believe this issue has been addressed. I cannot find any more examples of "numberline" in comments. Feel free to reopen if I missed something.
Parent issue is #9.
My IDE is flagging usages of the word "numberline" everywhere, like so:
I looked up the term, and at least according to Webster's dictionary, it should be two words, see https://www.merriam-webster.com/dictionary/number%20line. It should probably be changed in all comments.