Skip to content
New issue

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

#

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

Already on GitHub? # 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
@clarus clarus moved this to Backlog in coq-of-rust Sprints Apr 2, 2024
@clarus clarus moved this from Backlog to Ready in coq-of-rust Sprints Apr 3, 2024
@clarus clarus mentioned this issue Aug 27, 2024
Merged
# for free to join this conversation on GitHub. Already have an account? # 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