This repository has been archived on 2023-03-25. You can view files and clone it, but cannot push or open issues or pull requests.

…

..

__init__.py

…

colors.py

…

full11.py

…

pattern.py

…

svgparser.py

…

tiny12.py

…

typechecker.py

…

types.py

…