Re: [racket-users] Potential small bugs on SEwPR

Hi, all. Thanks for the feedback and for the acknowledgment on the Errata page. And thanks for answering my question about typesetting. I can confirm that I get small-caps using the provided snippet. Best. -- Leandro Facchinetti https://www.leafac.com GPG key: 3DF3D583 -- You received this me

Re: [racket-users] Potential small bugs on SEwPR

On Mon, Jun 6, 2016 at 8:15 AM, wrote: > 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 cha

Re: [racket-users] Potential small bugs on SEwPR

> 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 believ

[racket-users] Potential small bugs on SEwPR

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