Re: [Ur] Grammar/Parser bug?

OK, after much anticipation... I finally made the Ur/Web grammar change that should make your original code Just Work. On 10/12/2016 01:50 PM, Adam Chlipala wrote: On 10/08/2016 07:41 PM, Saulo Araujo wrote: Thanks for suggesting this workaround. I was able to implement it, but I have some

Re: [Ur] Grammar/Parser bug?

Thanks for the new year's gift Adam! :) Happy new year you all, Saulo On Sat, Dec 31, 2016 at 4:51 PM, Adam Chlipala wrote: > OK, after much anticipation... I finally made the Ur/Web grammar change > that should make your original code Just Work. > > > On 10/12/2016 01:50