Re: [racket-users] Re: Redex: call for alpha-equivalence beta testers

2015-10-14 Thread Paul Stansifer
14, 2015 at 7:47 AM, Andrew Kent wrote: > On Saturday, September 19, 2015 at 1:21:19 PM UTC-4, Robby Findler wrote: > > Paul Stansifer has been implementing the ideas from his dissertation > > work in Redex and is now ready to share them with the world. > > > > Thanks t

Re: [racket-users] Redex: call for alpha-equivalence beta testers

2015-09-25 Thread Paul Stansifer
Thanks for trying it out! It's exciting to have a user! The broken example is now fixed on GitHub. On Thursday, September 24, 2015 at 5:07:22 PM UTC-4, William J. Bowman wrote: > ... > > 1. It was not obvious to me that /binding-pattern/ was not just a > grammar but a pattern. I tried to specify