definition of a markup language

Reflecting on Tuesdays workshop, I see that there wasn't a explicit definition of what a markup language is, or how it differs to a programming language. I think that would be a good addition.