I don’t know who that is; first time talking with them as far as I know. I don’t mind engaging with someone until they seem disingenuous; but yeah, that’s where I’ve reached with that person. A short reply of “check the dictionary” is not the sign of someone wanting actual conversation. Guessing you’ve had a similar run-in with them.