Hello, I was reading your documentation for the Reduction Relations (4.4), and we can use side-conditions and other extras like where and bind. But I cannot implement them in my code. Can someone show me an example of how do I use the clause *where*? For example, how do I verify that a variable *f* is the same f as the one in the pattern-sequence *T f ( T x ).* Thank you!
-- 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. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/83123805-8d83-486d-9680-05551aaced8bn%40googlegroups.com.
