It's extremely interesting to read their nearly recognizable syntax and at the same time nearly completely foreign concepts.

In case anyone else wishes to read the qed manual, here is the link I found after a while spent searching: https://wayback.archive-it.org/all/20150203071645/http://cm....