Metadata-Version: 2.1
Name: draw-isabelle
Version: 0.0.1
Summary: Viz Isabelle ⟨l, a, r⟩ graphs
Home-page: https://github.com/sorenmulli
Download-URL: https://pypi.org/project/draw_isabelle
Author: Søren Winkel Holm
Author-email: swholm@protonmail.com
License: MIT
Description-Content-Type: text/markdown

# draw-isabelle

Quick visualization tool for nested Isabelle trees which are defined by the angle brace Isabelle syntax `⟨l, a, r⟩`.


## Install and usage

```console
$ pip install draw-isabelle # or alternatively, clone repo and run make
$ draw-isabelle '⟨⟨⟨⟨⟩, a, ⟨⟩⟩, a, ⟨⟨⟩, a, ⟨⟩⟩⟩, a, ⟨⟨⟩, a, ⟨⟩⟩⟩' # or alternatively, call with python -m draw_isabelle
```

will output
```
          ________a___
         /            \
     ___a___          _a
    /       \        /  \
  _a        _a      ⟨⟩   ⟨⟩
 /  \      /  \
⟨⟩   ⟨⟩   ⟨⟩   ⟨⟩
```

## Contributing
Please open PR's with fixes and code improvements; could be cool to also support the Node/Leaf syntax or maybe other useful structures.

Code is also pretty untested so please LMK with breaking examples.

Might also make sense to code the ASCII tree representation in this repo to remove the binarytree dependency.
