Re: [racket-users] [Redex] Macros for custom -->

Dear Robby, Thank you for the response. It is what I expected. I think for current goal typesetting isn't that important, so I'll define a macro for reduction-relation. Thank you a lot, Anton BR, Anton Podkopaev podkopaev.net On Thu, Feb 25, 2016 at 3:41 PM, Robby Findler wrote: > reduction-r

Re: [racket-users] [Redex] Macros for custom -->

reduction-relation doesn't expand its body, it just looks at it and processes it. So if you write: #lang racket (require redex) (define-language L (E ::= (list v ... E e ...) (car E) (cdr E) hole) (v ::= (list v ...) natural) (e ::= (list e ...) (car e) (cdr e) natural)) (define-syntax-rul