> On Jun 6, 2016, at 9:15 AM, lfacc...@jhu.edu wrote:
>
> 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
I found this on page 292.
> 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.
I have pushed fixes for the above into the errata page. (It will take a few
hours for this to appear on the book’s web page.)
> Finally, I'd like to take the opportunity to ask a question:
I have cc-ed Robby who can answer this question.
I am glad Redex and the intellectual framework are helpful to you — Matthias
>
> 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.
--
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.
