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 [email protected] http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports
