I started taking that class but had to drop it -- tried it way too early in my CS career. Having to use his language definitely didn't help! But you're right, I absolutely loved the lectures, even if a bunch of it went over my head.