.gitattributes
.gitignore
.pylintrc
.readthedocs.yaml
CONTRIBUTING.md
LICENSE
README.md
pyproject.toml
.github/workflows/build.yml
discopy/__init__.py
discopy/autonomisation.gif
discopy/balanced.py
discopy/braided.py
discopy/cat.py
discopy/closed.py
discopy/compact.py
discopy/config.py
discopy/feedback.py
discopy/frobenius.py
discopy/hypergraph.py
discopy/interaction.py
discopy/markov.py
discopy/matrix.py
discopy/messages.py
discopy/monoidal.py
discopy/pivotal.py
discopy/ribbon.py
discopy/rigid.py
discopy/snake-removal.gif
discopy/stream.py
discopy/symmetric.py
discopy/tensor.py
discopy/traced.py
discopy/utils.py
discopy/version.py
discopy.egg-info/PKG-INFO
discopy.egg-info/SOURCES.txt
discopy.egg-info/dependency_links.txt
discopy.egg-info/requires.txt
discopy.egg-info/top_level.txt
discopy/drawing/__init__.py
discopy/drawing/backend.py
discopy/drawing/drawing.py
discopy/grammar/__init__.py
discopy/grammar/categorial.py
discopy/grammar/cfg.py
discopy/grammar/dependency.py
discopy/grammar/pregroup.py
discopy/grammar/thue.py
discopy/python/__init__.py
discopy/python/additive.py
discopy/python/finset.py
discopy/python/function.py
discopy/python/multiplicative.py
discopy/quantum/__init__.py
discopy/quantum/ansatze.py
discopy/quantum/channel.py
discopy/quantum/circuit.py
discopy/quantum/gates.py
discopy/quantum/pennylane.py
discopy/quantum/tk.py
discopy/quantum/zx.py
docs/Makefile
docs/conf.py
docs/discopy.bib
docs/index.rst
docs/make.bat
docs/_ext/bases-fullname.py
docs/_ext/youtube.py
docs/_static/logo.svg
docs/_static/snake-equation-dark.svg
docs/_static/snake-equation.svg
docs/_static/spiral.gif
docs/_static/balanced/ribbon_twist.png
docs/_static/balanced/twist.png
docs/_static/balanced/twist_dual_rail.png
docs/_static/braided/hexagons.png
docs/_static/braided/inverse.png
docs/_static/closed/curry-left.png
docs/_static/closed/curry-right.png
docs/_static/closed/uncurry.png
docs/_static/compact/reidemeister.png
docs/_static/compact/snake.png
docs/_static/compact/yanking.png
docs/_static/compact/yanking_cup_and_cap.png
docs/_static/drawing/box.png
docs/_static/drawing/bubble-closing.png
docs/_static/drawing/bubble-drawing.png
docs/_static/drawing/bubble-opening.png
docs/_static/drawing/bubble.png
docs/_static/drawing/composition.gif
docs/_static/drawing/composition.png
docs/_static/drawing/empty.png
docs/_static/drawing/frame-closing.png
docs/_static/drawing/frame-opening.png
docs/_static/drawing/frobenius-axioms.png
docs/_static/drawing/horizontal-frame.png
docs/_static/drawing/idx.png
docs/_static/drawing/idxy.png
docs/_static/drawing/interchanger-1.png
docs/_static/drawing/interchanger-2.png
docs/_static/drawing/make-space.png
docs/_static/drawing/single-frame.png
docs/_static/drawing/spiral.gif
docs/_static/drawing/stretch.png
docs/_static/drawing/tensor.png
docs/_static/drawing/vertical-frame.png
docs/_static/feedback/feedback-example.png
docs/_static/feedback/feedback-fibonacci.png
docs/_static/feedback/feedback-operator.png
docs/_static/feedback/feedback-random-walk.png
docs/_static/feedback/followed-by.png
docs/_static/feedback/slide-unroll.png
docs/_static/feedback/sliding.png
docs/_static/feedback/strength.png
docs/_static/feedback/wait.png
docs/_static/frobenius/comonoid.png
docs/_static/frobenius/frobenius.png
docs/_static/frobenius/monoid.png
docs/_static/frobenius/special.png
docs/_static/grammar/cfg-example.png
docs/_static/grammar/pregroup-example.png
docs/_static/grammar/tree-to-diagram.png
docs/_static/hypergraph/box.png
docs/_static/hypergraph/diagram.png
docs/_static/hypergraph/unfuse.png
docs/_static/int/alice-loves-interaction.png
docs/_static/int/alice-loves-traces.png
docs/_static/int/alice-who-loves-bob.png
docs/_static/int/braid.png
docs/_static/int/composition.png
docs/_static/int/dagger.png
docs/_static/int/idl.png
docs/_static/int/idr.png
docs/_static/int/int-snake-equations.png
docs/_static/int/simplify.png
docs/_static/int/symmetric-feedback.png
docs/_static/int/tensor.png
docs/_static/markov/associativity.png
docs/_static/markov/bialgebra.png
docs/_static/markov/copy_and_apply.png
docs/_static/markov/counit.png
docs/_static/monoidal/Eckmann-Hilton.gif
docs/_static/monoidal/EckmannHilton.gif
docs/_static/monoidal/arrow-example.png
docs/_static/monoidal/box-example.png
docs/_static/monoidal/bubble-example.png
docs/_static/monoidal/bubble-multiple-args.png
docs/_static/monoidal/diagramize.png
docs/_static/monoidal/foliate-example-1.png
docs/_static/monoidal/foliate-example-1a.png
docs/_static/monoidal/foliate-example-1b.png
docs/_static/monoidal/foliate-example-2.png
docs/_static/monoidal/foliation-example.png
docs/_static/monoidal/frame-vertical-args.png
docs/_static/monoidal/functor-example.png
docs/_static/monoidal/id-example.png
docs/_static/monoidal/spiral.gif
docs/_static/monoidal/tensor-example.png
docs/_static/optics/fusion.png
docs/_static/optics/spider-decomp.png
docs/_static/pivotal/axiom.png
docs/_static/pivotal/box-conjugate.png
docs/_static/pivotal/conjugate.png
docs/_static/pivotal/dagger-transpose.png
docs/_static/pivotal/dagger.png
docs/_static/pivotal/trace.png
docs/_static/quantum/circuit-example.png
docs/_static/quantum/functor-example.png
docs/_static/ribbon/strict.png
docs/_static/ribbon/twist-untwist.png
docs/_static/rigid/cap.png
docs/_static/rigid/caps.png
docs/_static/rigid/cup.png
docs/_static/rigid/cups.png
docs/_static/rigid/curry.png
docs/_static/rigid/diagram-example.png
docs/_static/rigid/functor-example.png
docs/_static/rigid/rotate.png
docs/_static/rigid/transpose.png
docs/_static/rigid/transpose_box.png
docs/_static/rigid/typed-snake-equation.png
docs/_static/stream/alice-loves-unrolling.png
docs/_static/stream/feedback-associativity.png
docs/_static/stream/feedback-example.png
docs/_static/stream/feedback-interchanger.png
docs/_static/stream/feedback-tensor-associativity.png
docs/_static/stream/feedback-to-stream.png
docs/_static/stream/feedback-unrolling.png
docs/_static/stream/fibonacci-feedback.png
docs/_static/stream/random-walk-feedback.png
docs/_static/stream/stream-tensor.png
docs/_static/stream/stream-then.png
docs/_static/stream/unroll.png
docs/_static/symmetric/decorator.png
docs/_static/symmetric/hexagons.png
docs/_static/symmetric/inverse.png
docs/_static/symmetric/naturality.png
docs/_static/symmetric/yang-baxter.png
docs/_static/tensor/chain-rule.png
docs/_static/tensor/frobenius-example.png
docs/_static/tensor/men-are-mortal.png
docs/_static/tensor/product-rule.png
docs/_static/tensor/rewrite.png
docs/_static/traced/golden.png
docs/_static/traced/left-trace.png
docs/_static/traced/right-nat-trace.png
docs/_static/traced/right-trace.png
docs/_static/traced/sliding-left.png
docs/_static/traced/sliding-right.png
docs/_static/traced/tightening-left.png
docs/_static/traced/tightening-right.png
docs/_static/traced/trace.png
docs/_static/traced/yanking.png
docs/_style/custom.css
docs/_templates/class.rst
docs/_templates/function.rst
docs/_templates/module.rst
docs/api/architecture.html
docs/api/architecture.png
docs/api/drawing.rst
docs/api/grammar.rst
docs/api/quantum.rst
docs/api/semantics.rst
docs/api/syntax.rst
docs/extra/bibliography.rst
docs/extra/blogs.md
docs/extra/papers.md
docs/extra/talks.rst
docs/notebooks/21-05-03-tallcat.ipynb
docs/notebooks/21-05-05-tallcat.ipynb
docs/notebooks/diag-diff.ipynb
docs/notebooks/diagrams.ipynb
docs/notebooks/examples.ipynb
docs/notebooks/higher-order-discocat.ipynb
docs/notebooks/qnlp.ipynb
test/drawing/drawing.py
test/drawing/imgs/alice-loves-bob.png
test/drawing/imgs/autonomisation.gif
test/drawing/imgs/bell-state.png
test/drawing/imgs/bialgebra.png
test/drawing/imgs/bubble-straight-wire.png
test/drawing/imgs/categorial-grammar.png
test/drawing/imgs/crack-eggs.png
test/drawing/imgs/crack-two-eggs-at-once.png
test/drawing/imgs/empty_diagram.png
test/drawing/imgs/long-controlled.png
test/drawing/imgs/snake-equation.png
test/drawing/imgs/spiral.png
test/drawing/imgs/typed-snake-equation.png
test/drawing/imgs/who-ansatz.png
test/drawing/tikz/bell-state.tikz
test/drawing/tikz/bell-state.tikzstyles
test/drawing/tikz/bialgebra.tikz
test/drawing/tikz/bialgebra.tikzstyles
test/drawing/tikz/copy.tikz
test/drawing/tikz/copy.tikzstyles
test/drawing/tikz/crack-eggs.tikz
test/drawing/tikz/long-controlled.tikz
test/drawing/tikz/snake-equation.tikz
test/drawing/tikz/spiral.tikz
test/drawing/tikz/spiral.tikzstyles
test/drawing/tikz/who-ansatz.tikz
test/grammar/categorial.py
test/grammar/pregroup.py
test/quantum/ansatze.py
test/quantum/channel.py
test/quantum/circuit.py
test/quantum/eval.py
test/quantum/tk.py
test/quantum/zx.py
test/semantics/interaction.py
test/semantics/matrix.py
test/semantics/python.py
test/semantics/stream.py
test/semantics/tensor.py
test/syntax/balanced.py
test/syntax/braided.py
test/syntax/cat.py
test/syntax/closed.py
test/syntax/compact.py
test/syntax/feedback.py
test/syntax/frobenius.py
test/syntax/hypergraph.py
test/syntax/markov.py
test/syntax/monoidal.py
test/syntax/pivotal.py
test/syntax/ribbon.py
test/syntax/rigid.py
test/syntax/symmetric.py
test/syntax/traced.py
test/utils/utils.py
test/utils/zx-graph.json
test/utils/pickles/generate_pickles.py
test/utils/pickles/rigid.Box.legacy.pickle
test/utils/pickles/0.6/pregroup.Word.pickle
test/utils/pickles/0.6/quantum.Circuit.pickle
test/utils/pickles/0.6/quantum.Qudit.pickle
test/utils/pickles/0.6/quantum.gates.pkl
test/utils/pickles/0.6/quantum.zx.Diagram.pickle
test/utils/pickles/0.6/rigid.Box.pickle
test/utils/pickles/0.6/tensor.Box.pickle
test/utils/pickles/TODO/matrix_Matrix.py
test/utils/pickles/TODO/pregroup_Word.py
test/utils/pickles/TODO/tensor_Box.py
test/utils/pickles/TODO/tensor_Tensor.py
test/utils/pickles/main/quantum.Circuit.pickle
test/utils/pickles/main/quantum.Qudit.pickle
test/utils/pickles/main/quantum.gates.pkl
test/utils/pickles/main/quantum.zx.Diagram.pickle
test/utils/pickles/main/rigid.Box.pickle
test/utils/pickles/src/quantum_Circuit.py
test/utils/pickles/src/quantum_Qudit.py
test/utils/pickles/src/quantum_zx_Diagram.py
test/utils/pickles/src/rigid_Box.py
test/utils/pickles/src/tensor_Box.py