Interesting, but woefully incomplete since it doesn't include a single turnstile-based statement. I'm still looking for the cheat sheet that includes an explanation for how to read and comprehend anything written by Simon Peyton-Jones.
I recall for out PhD written exams we were allowed on leter-size cheat sheet.<p>The irony is the act of compiling such a sheet meant you temporarily memorized the information on the sheet and didnt really need the sheet.