I could easily imagine a CS theory course that doesn't involve any programming language at all.
Reply on news.ycombinator.com