Hello all,

On p. 63, Formal Semantics,
  cwv =
    twoarg (\e1 e2 k. applicate e1 <> (\e*. applicate e2 e*))
should be
  cwv =
    twoarg (\e1 e2 k. applicate e1 <> (\e*. applicate e2 e* k))
as pointed out in SchemeDS[1].

[1]
http://www.appsolutions.com/SchemeDS/html/auxiliary-functions.html#ds:cwv

_______________________________________________
Scheme-reports mailing list
Scheme-reports@scheme-reports.org
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports