Archived tweet #1377 from the @leastfixedpoint Twitter Archive

Weird. Cardelli/Abadi's object calculus doesn't have λ in the syntax, but uses λ in the examples. Shouldn't it be ς all the way down?