Skip to content
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

Handle const polymorphic parameters #496

Open
clarus opened this issue Mar 29, 2024 · 0 comments · May be fixed by #498
Open

Handle const polymorphic parameters #496

clarus opened this issue Mar 29, 2024 · 0 comments · May be fixed by #498
Assignees
@clarus
Labels
rust library

Comments

@clarus
Copy link
Collaborator

clarus commented Mar 29, 2024

This should help translating the core crate that is currently missing this feature to translate.
@clarus clarus self-assigned this Mar 29, 2024
@clarus clarus linked a pull request Mar 29, 2024 that will close this issue
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@clarus clarus

Labels
rust library
Projects
coq-of-rust Sprints
Status: Ready
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Draft: add polymorphic const parameters formal-land/coq-of-rust
1 participant
@clarus