Skip to content

Pull requests: CQCL/brat

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

chore: Upgrade to hugr 0.8.0
#66 opened Dec 12, 2024 by croyzor Loading…
feat: Human-friendly metavariable printing
#54 opened Nov 11, 2024 by croyzor Loading…
feat: Allow brackets in abstractors
#53 opened Nov 6, 2024 by croyzor Loading…
Multi-threaded type inference
#41 opened Oct 21, 2024 by acl-cqc Draft
3 tasks
Allow vector patterns to be used in kernels
#38 opened Oct 14, 2024 by croyzor Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.