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

Tracking issue for HUGR polymorphism #416

Closed
10 tasks done
ss2165 opened this issue Aug 16, 2023 · 1 comment
Closed
10 tasks done

Tracking issue for HUGR polymorphism #416

ss2165 opened this issue Aug 16, 2023 · 1 comment
Labels
tracking-issue An issue tracking progress on multiple sub-tasks.

Comments

@ss2165
Copy link
Member

ss2165 commented Aug 16, 2023 •
edited by acl-cqc
Loading

See discussion #285
@ss2165 ss2165 added the tracking-issue An issue tracking progress on multiple sub-tasks. label Aug 16, 2023
@ss2165 ss2165 pinned this issue Aug 22, 2023
@acl-cqc acl-cqc closed this as completed Jun 4, 2024
@acl-cqc
Copy link
Contributor

acl-cqc commented Jun 4, 2024

There is #1094 as a tidyup after #787 but I agree this is not really about polymorphism anymore ;)

@ss2165 ss2165 unpinned this issue Jun 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
tracking-issue An issue tracking progress on multiple sub-tasks.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ss2165 @acl-cqc