June 7th, 2008

beartato phd

(no subject)

Last night Sherbrook achieved dinner party madness again! The dessert with frozen strawberry and lime mush I liked. Quesadillas were good too.

I have this notion that the proof irrelevance modality ought to be logically equivalent to the composition of two distinct monads — just enough to cause it to not be idempotent — but I can't prove one direction of the equivalence I expect to hold.