Do you think spelling is trivial and irrelevant in a foreign language class?

That's a poor comparison given they said CS theory.

I could easily imagine a CS theory course that doesn't involve any programming language at all.