[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Scheme-reports] Typo in Formal Semantics
- To: scheme-reports@x
- Subject: [Scheme-reports] Typo in Formal Semantics
- From: OOHASHI Daichi <leque@x>
- Date: Wed, 22 Feb 2012 18:11:44 +0900
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@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports