Burke Fetscher comments

Repositories
Issues
Comments

Results 2 comments of


                                            Burke Fetscher

`redex-check #:satsifying` not self-consistent; related to binding?

Hi there! Finally getting around to taking a look at this... I think there are indeed two issues. Looks like the original issue does indeed have to do with binding...

Running some ellipsis patterns in define-judgment-form causes syntax error.

Thanks for the report! This is an issue with metafunctions and reduction relations as well, it turns out. After talking over a few approaches with @rfindler, we're thinking this should...