Thanks Ben. Good to know. Hey Robbie, it's been a while. Hope everything is
going well. Great book. :)
-mike
On Jan 12, 2019 12:04, "Robby Findler" wrote:
Hi Mike! Thanks for pointing this out. I've updated the errata
(Thanks, Ben for those links; I was having trouble finding the date of
the ch
Hi Mike! Thanks for pointing this out. I've updated the errata
(Thanks, Ben for those links; I was having trouble finding the date of
the change.)
Robby
On Sat, Jan 12, 2019 at 4:41 AM Mike MacHenry wrote:
>
> Hey everyone,
>
> I'm having an issue with one of the examples from Semantics Engineer
You discovered a backwards incompatible change to Redex. Changing M
and N to A and B is a good fix. (The errata really should talk about
this.)
Here are two related threads:
https://groups.google.com/d/msg/racket-users/be54SG881GU/bndA4eiGAQAJ
https://groups.google.com/d/msg/racket-users/NMuBaVlcD
Hey everyone,
I'm having an issue with one of the examples from Semantics Engineering
With PLT Redex. Specifically in 12.3 on page 225, the definition for the
iswim-standard reduction relation. As printed in the book, I get the error
"reduction-relation: shortcut name may not be a non-terminal
4 matches
Mail list logo
