The name of this course is amusingly similar to one offered at CMU, "Great Theoretical Ideas in Computer Science", the content seems similar as well. Perhaps MIT was inspired by it?
Thanks this is exactly what I need, should make coding in functional languages a lot more readable. Actually it appears GHC supports the use of unicode characters for operators via packages and an extension[1], if it wasn't for your post I would not have discovered this, cheers!