Archived tweet #10013 from the @leastfixedpoint Twitter Archive

@jonathoda @arntzenius I feel like it's the least interesting of the five requirements given in Zenger & Odersky's paper [1], though, so I wouldn't be put out if a discussion of the expression problem stipulated that it be dropped [1] scala-lang.org/docu/files/IC_…, page 1