(Untitled)

[iabervon]

((λf.((λx.(f (x x))) (λx.(f (x x))))) ♥)=?

E⟦(lambda (x) ♥)⟧=?

(λek.E⟦x⟧ [x:♥]e k)=?

((lambda (x) (if x #t #f)) ♥)=?

((lambda (x) x) ♥)=?

My normal approach is also useless here.

Comments

[iabervon]

There ought to be a whole line of "Useless" xkcd shirts, so that people can declare their own personal normal approaches, along the lines of the "Co-ed Naked" t-shirts, but far more geeky.