Discussions

• 1 You must be logged in to vote

  📜

  Eq TypeBound should be removed; Affine could be added.

  ss2165 started Jul 15, 2024 in Specification

  

  

  

  

  10
• 1 You must be logged in to vote

  💡

  Allow custom ops with static constant input edges

  ss2165 started Jul 24, 2024 in Ideas

  

  

  1
• 2 You must be logged in to vote

  💡

  hugr-model

  zrho started Jul 18, 2024 in Ideas

  

  

  

  

  21
• 1 You must be logged in to vote

  💡

  Add special BasicBlock::Entry node?

  acl-cqc started Jul 5, 2023 in Ideas · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  Inference Redux

  acl-cqc started Nov 4, 2023 in Ideas · Closed

  

  

  15
• 1 You must be logged in to vote

  📜

  Do we need NewType?

  ss2165 started May 31, 2023 in Specification · Closed

  

  

  1
• 1 You must be logged in to vote

  💡

  [hugr-py] Avoid overriding __init__() for dataclasses?

  cqc-alec started Jul 4, 2024 in Ideas

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  A system of "Interfaces"

  ss2165 started Feb 20, 2024 in Ideas

  

  

  

  

  7
• 1 You must be logged in to vote

  📜

  Can local FuncDefn's capture values from outside?

  acl-cqc started Jan 8, 2024 in Specification · Closed

  

  

  

  

  4
• 1 You must be logged in to vote

  💡

  Extensions should be first class

  enhancement New feature or request spec Issues to do with the specification document(s) breaking-change Changes that break semver

  zrho started Jun 4, 2024 in Ideas

  

  

  

  

  8
• 1 You must be logged in to vote

  📜

  Function polymorphism

  acl-cqc started Jul 26, 2023 in Specification · Closed

  

  

  

  

  33
• 1 You must be logged in to vote

  🙏

  RPITIT

  Cobord asked Mar 18, 2024 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  📜

  Declarative extensions schema

  enhancement New feature or request spec Issues to do with the specification document(s)

  aborgna-q started Feb 20, 2024 in Specification

  

  

  0
• 1 You must be logged in to vote

  📜

  What can Extensions type args be used for?

  croyzor started Nov 23, 2023 in Specification · Closed

  

  

  3
• 1 You must be logged in to vote

  📜

  How to fix up signature of load_constant introduced by InsertConstIgnore

  cqc-alec started May 19, 2023 in Specification

  

  

  3
• 1 You must be logged in to vote

  📜

  Requirements for collections extensions

  mark-koch started Nov 28, 2023 in Specification

  

  

  1
• 1 You must be logged in to vote

  📜

  Define some metadata structure

  aborgna-q started Jul 13, 2023 in Specification

  

  

  

  

  5
• 1 You must be logged in to vote

  💡

  Extension-associated rewrites

  ss2165 started Nov 23, 2023 in Ideas

  

  

  0
• 1 You must be logged in to vote

  📜

  Causal cones in data sibling graphs

  cqc-alec started Aug 21, 2023 in Specification · Closed

  

  

  

  

  11
• 1 You must be logged in to vote

  🙏

  Why are some OpTags not available as NodeHandle?

  lmondada asked Aug 21, 2023 in Q&A · Closed · Answered

  

  

  1
• 1 You must be logged in to vote

  📜

  Definition of SiblingSubgraph

  lmondada started Aug 14, 2023 in Specification · Closed

  

  

  

  

  13
• 1 You must be logged in to vote

  📜

  Do we enforce linearity of static edges (if linear-typed)?

  acl-cqc started Aug 7, 2023 in Specification · Closed

  

  

  7
• 1 You must be logged in to vote

  💡

  ResourceSet in Signature

  acl-cqc started Jun 21, 2023 in Ideas · Closed

  

  

  9
• 1 You must be logged in to vote

  📜

  Is "Map" core or extension? What about Hashable & constraints?

  acl-cqc started Jun 27, 2023 in Specification · Closed

  

  

  6
• 1 You must be logged in to vote

  💡

  Resource namespacing

  acl-cqc started Jun 21, 2023 in Ideas · Closed

  

  

  10