On 2016-01-28 15:19:12 -0500, Asumu Takikawa wrote:
> Welcome to Racket v6.4.0.4.
> -> (require redex)
> -> (define-language lc
> (e (e e)
> x
> (λ (x) e))
> (x variable-not-otherwise-mentioned)
> #:binding-forms
> (λ (x_param) e_bod
On 2015-11-06 13:11:24 -0500, 'William J. Bowman' via users-redirect wrote:
> I was under the impression that redex-match now matches up to
> alpha-equivalence. If so, then I would expect the result of this example from
> the docs to return #t, but it returns #f:
>
> ```
> Furthermore, the notion
I was under the impression that redex-match now matches up to
alpha-equivalence. If so, then I would expect the result of this example from
the docs to return #t, but it returns #f:
```
Furthermore, the notion of equality used by the pattern-matcher is
alpha-equivalence, not naive equivalence. Fo
3 matches
Mail list logo
