.gitattributes
.gitignore
.pylintrc
.readthedocs.yaml
CONTRIBUTING.md
LICENSE
README.md
pyproject.toml
.github/workflows/build_test.yml
discopy/__init__.py
discopy/balanced.py
discopy/braided.py
discopy/cat.py
discopy/closed.py
discopy/compact.py
discopy/config.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/python.py
discopy/ribbon.py
discopy/rigid.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/grid.py
discopy/drawing/legacy.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/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.ico
docs/_static/snake-equation.png
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/diagramize.png
docs/_static/drawing/example.html
docs/_static/drawing/frobenius-axioms.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/hypergraph/box.png
docs/_static/hypergraph/diagram.png
docs/_static/hypergraph/unfuse.png
docs/_static/int/alice-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/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/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/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/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/right-nat-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/qnlp.ipynb
test/drawing/legacy.py
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/matrix.py
test/semantics/python.py
test/semantics/tensor.py
test/src/tree2diagram.pickle
test/src/zx-graph.json
test/src/imgs/EckmannHilton.gif
test/src/imgs/bell-state.png
test/src/imgs/bialgebra.png
test/src/imgs/crack-eggs.png
test/src/imgs/empty_diagram.png
test/src/imgs/long-controlled.png
test/src/imgs/sentence-as-diagram.png
test/src/imgs/snake-equation.png
test/src/imgs/spiral.png
test/src/imgs/typed-snake-equation.png
test/src/imgs/who-ansatz.png
test/src/tikz/bell-state.tikz
test/src/tikz/bell-state.tikzstyles
test/src/tikz/bialgebra.tikz
test/src/tikz/bialgebra.tikzstyles
test/src/tikz/copy.tikz
test/src/tikz/copy.tikzstyles
test/src/tikz/crack-eggs.tikz
test/src/tikz/long-controlled.tikz
test/src/tikz/snake-equation.tikz
test/src/tikz/spiral.tikz
test/src/tikz/spiral.tikzstyles
test/src/tikz/who-ansatz.tikz
test/syntax/balanced.py
test/syntax/braided.py
test/syntax/cat.py
test/syntax/closed.py
test/syntax/compact.py
test/syntax/frobenius.py
test/syntax/hypergraph.py
test/syntax/interaction.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/syntax/utils.py