the name and the `nt` pattern matching construct matches
> only non-terminals without binding a name.
>
> Thanks for finding the bug!
>
> Robby
>
>
> On Tue, Dec 21, 2021 at 2:50 PM Mallku Ernesto Soldevila Raffa wrote:
>
>> Just to clarify, I understan
know, I would have expected for the application of the constraint of names,
that would have rendered #f the match.
thanks!,
Mallku
El martes, 21 de diciembre de 2021 a las 17:38:28 UTC-3, Mallku Ernesto
Soldevila Raffa escribió:
> Hi to everyone!,
> I'm trying to test the mechani
anyone understand the behavior of the shown example
under racket 8.3?
Thanks in advance!,
Mallku
[1] : https://link.springer.com/chapter/10.1007%2F978-3-642-25318-8_27
El jueves, 9 de diciembre de 2021 a las 13:20:31 UTC-3, Mallku Ernesto
Soldevila Raffa escribió:
> Thanks a lot for the info! I
match; the underlying
> algorithms have not changed, only bug fixes have happened.
>
> Of course, if you find that this isn't the case, I'd be very interested to
> hear more :)
>
> Robby
>
>
>
> On Wed, Dec 8, 2021 at 6:34 PM Mallku Ernesto Soldevila Raffa <
>
Findler
escribió:
> I think that might be it specifically about redex, I am sorry to say.
>
> Robby
>
> On Wed, Dec 8, 2021 at 5:28 PM Mallku Ernesto Soldevila Raffa <
> mallku...@gmail.com> wrote:
>
>> Hi community!,
>> I'm interested in understandi
Hi community!,
I'm interested in understanding the semantics of PLT Redex, since we are
working on a tool
to translate fragments of Redex models to Coq. At the moment, we just have
a
mechanization in Coq of the semantics proposed in a ~10 years old paper
[1]. Does
anybody know if there is an
> tools -- one nice thing to do is to use scribble (which generates latex) as
> it has handling to make them look nice in the rendered output, although
> getting the right fonts set up can sometimes be tricky).
>
> hth,
> Robby
>
>
> On Tue, Oct 26, 2021 at 1:55 PM Ma
Hi community!,
a colleague of mine is trying to typeset a grammar from a model in Redex,
using redex/pict. So far, he has obtained a nice-looking typesetting of
the productions, but with the inconvenience that they are not abstract. In
particular, there are parentheses around every list of
8 matches
Mail list logo
