Re: [racket-users] Re: Replicate Term in Redex

I've pushed a fix for this. Thanks for the report! Robby On Thu, May 12, 2016 at 9:53 AM, Brian LaChance wrote: > On Wednesday, May 11, 2016 at 4:32:15 PM UTC-4, Benjamin Chung wrote: >> There is a workaround. Instead of using a nice pretty pattern, we can >> instead

[racket-users] Re: Replicate Term in Redex

On Wednesday, May 11, 2016 at 4:32:15 PM UTC-4, Benjamin Chung wrote: > There is a workaround. Instead of using a nice pretty pattern, we can instead > escape to Racket, which would give us > > > > (define-metafunction L >    replace-with-0 : e -> e >    [(replace-with-0 (e ..._1)) ,(make-list