1. On Section 14.4, The CK Machine, on page 243, there is a reference to
/part I(6.4)/, mentioning the specification for the CK Machine: "Comparing
the Redex specification with the specification in part I(6.4)".
But I believe /part I(6.4)/ is about the CEK Machine. The CK Machine is the
subject of /part I(6.3)/.
2. On Section 18.4, Rewriting Calls to Meta-functions, on page 290, it says "In
part I, we use the notation `M{X := V}' to express the substitution of all
free
occurrences of `X' in `M' with `V'."
But I believe the notation in part I was `M[X ← V]'.
Also, on the last paragraph of the section, it says "Without this empty
string, Redex would insert a gap between the `[' and the `M' in the final
output. I believe this is referring to the `M[X ← V]' notation, and not the
`M{X := V}' notation.
Finally, I'd like to take the opportunity to ask a question:
The book says that, by default, Redex typesets meta-functions in
small-caps. But, on my tests, running the latest version of Redex, I see
proportional sans-serif instead.
Has this changed since the book was published, or am I doing something wrong? Is
there a way to restore the old behavior without having to add a compound
rewriter for each meta-function?
Thanks a lot for SEwPR and Redex. I finished reading it this weekend and loved
it!
Best.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
