New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix monad_map_branches_k name #953

Merged

yforster merged 2 commits into MetaCoq:coq-8.16 from JasonGross:coq-8.16+fix-monad-map-name

Apr 23, 2023

Contributor

JasonGross commented Apr 20, 2023

No description provided.

JasonGross added 2 commits

April 20, 2023 14:29


          Fix monad_map_branches_k name

12f0381


          Notations don't persist after sections, so we use definitions instead

ac568d3

yforster merged commit 46454e2 into MetaCoq:coq-8.16

10 checks passed

JasonGross deleted the coq-8.16+fix-monad-map-name branch

April 23, 2023 18:37

yforster pushed a commit that referenced this pull request


          Fix monad_map_branches_k name (#953)

3020c10

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment