[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Scheme-reports] The `lookup` function

Why in the Scheme denotational semantics section there is a `lookup` function:
lookup :: U -> Ide -> L
lookup = \r i -> r i
I think this function is redundant because it is just curried function application and can be removed without any type error.
Scheme-reports mailing list