World of Suck

Actually, just spun around in circles from my semantics homework. The mission, should you choose to accept it, Take Lazy PCF, extend it w/ a mutable store, define an operation and denotation semantics. Now prove the two semantics coincide using logical relations. Go!

This is due tomorrow, but I somehow doubt that I'll be able to stay awake long enough to finish it. Bleh.

Hey u235, How about putting this comp. on daylight savings time?