LICENSE
README.md
pyproject.toml
DiracULA.egg-info/PKG-INFO
DiracULA.egg-info/SOURCES.txt
DiracULA.egg-info/dependency_links.txt
DiracULA.egg-info/entry_points.txt
DiracULA.egg-info/requires.txt
DiracULA.egg-info/top_level.txt
diracula/__init__.py
diracula/display.py
diracula/embed.py
diracula/lang.py
diracula/lean_lang.py
diracula/lean_lsym.py
diracula/lean_sym.py
diracula/pathsum.py
diracula/py.typed
diracula/shell.py
diracula/terminal.py
diracula/zxsym.py
diracula/zxview.py
diracula/lean/DiracULA.lean
diracula/lean/lake-manifest.json
diracula/lean/lakefile.toml
diracula/lean/lean-toolchain
diracula/lean/DiracULA/Base.lean
diracula/lean/DiracULA/LCanon.lean
diracula/lean/DiracULA/LDigit.lean
diracula/lean/DiracULA/LSym.lean
diracula/lean/DiracULA/Lang.lean
diracula/lean/DiracULA/Sym.lean
diracula/lean/DiracULA/SymCanon.lean
diracula/lean/DiracULA/SymNorm.lean
diracula/zx/__init__.py
diracula/zx/bangbox.py
diracula/zx/dimension.py
diracula/zx/draw.py
diracula/zx/generators.py
diracula/zx/graph.py
diracula/zx/listing.py
diracula/zx/phase.py
diracula/zx/scalar.py
tests/test_display.py
tests/test_docstring_policy.py
tests/test_embed.py
tests/test_lang.py
tests/test_pathsum.py
tests/test_shell.py
tests/test_zxdraw.py
tests/test_zxview.py