[Scheme-reports] The `lookup` function

[musicdenotation@x]

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
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports