Code

docs: Update spec wrt. polymorphism#791

Code

Merged

acl-cqc merged 15 commits intomainCQCL/hugr:mainfrom spec/polymorphismCQCL/hugr:spec/polymorphismCopy head branch name to clipboardJan 15, 2024

+289-222

Commits

Commits on Jan 9, 2024

• Move Operation Extensibility section

  acl-cqc

  committed
  e81d110

  Copy full SHA for e81d110

• Various pseudo-driveby tidies

  acl-cqc

  committed
  4631114

  Copy full SHA for 4631114

• Rewrite sections re. polymorphism

  acl-cqc

  committed
  f46a758

  Copy full SHA for f46a758

• Operation Extensibility -> Extension System, lots more on TypeDefs

  acl-cqc

  committed
  6834c52

  Copy full SHA for 6834c52

• Update link in 'Extension Tracking' section

  acl-cqc

  committed
  7c0f60c

  Copy full SHA for 7c0f60c

• Drop commented-out, written elsewhere now

  acl-cqc

  committed
  7dd6386

  Copy full SHA for 7dd6386

• Review comment (missing .)

  acl-cqc

  committed
  009f77f

  Copy full SHA for 009f77f

• Mention Function 'delta'

  acl-cqc

  committed
  0f2a032

  Copy full SHA for 0f2a032

• Move + rewrite that 'notably' section

  acl-cqc

  committed
  ec0be0f

  Copy full SHA for ec0be0f

Commits on Jan 15, 2024

• Move note about [Foo] syntax

  acl-cqc

  committed
  15b12bd

  Copy full SHA for 15b12bd

• Various clarifications/rewordings in section Polymorphism + on TypeApply

  acl-cqc

  committed
  58923cd

  Copy full SHA for 58923cd

• Try restructuring binary-copute-sig details into a footnote

  acl-cqc

  committed
  60f12b0

  Copy full SHA for 60f12b0

• No, doesn't work, so move to appendix

  acl-cqc

  committed
  6d0bb93

  Copy full SHA for 6d0bb93

• Move note about rust structs, link

  acl-cqc

  committed
  6aa4e37

  Copy full SHA for 6aa4e37

• Add 'OpaqueOp' node type

  acl-cqc

  committed
  5bf9b74

  Copy full SHA for 5bf9b74