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 in: M". Following this advice I've changed the M and N on this line, both the binding and the reference, to A and B respectively. This seems to work just fine. Have I misunderstood something or found a typo? I checked the books errata and didn't see any mention of it in there.
Thanks a bunch, -mike -- 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.
