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

What kind of ornament relates unindexed to indexed Expr? #71

Open

tlringer opened this issue Sep 11, 2019 · 1 comment

Labels

examples question

Collaborator

tlringer commented Sep 11, 2019

https://github.com/CoqHott/univalent_parametricity/blob/master/examples/Expr.v

tlringer added the question label

Collaborator Author

tlringer commented Sep 17, 2020

Could be something we can handle now with manual configuration

tlringer added the examples label

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