Skip to content
This repository was archived by the owner on Mar 5, 2025. It is now read-only.

Add lowering for collections extension #140

Closed
doug-q opened this issue Nov 6, 2024 · 1 comment
Closed

Add lowering for collections extension #140

doug-q opened this issue Nov 6, 2024 · 1 comment
Assignees

Comments

@doug-q
Copy link
Collaborator

doug-q commented Nov 6, 2024

No description provided.

@hugrbot
Copy link
Collaborator

hugrbot commented Nov 25, 2024

Migrated to hugr repo

@hugrbot hugrbot closed this as completed Nov 25, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants