Skip to content
Back to pull request #17856

Notation wish #17845: add support for notations with recursive binders involving "let" and "match" #8707

Sign in to view logs

Notation wish #17845: add support for notations with recursive binders involving "let" and "match"

Notation wish #17845: add support for notations with recursive binders involving "let" and "match" #8707

The logs for this run have expired and are no longer available.