| Name | Owner | Permissions |
|---|---|---|
| . | drwxr-xr-x | |
| .. | drwxr-xr-x | |
| __init__.py | drwxr-xr-x | |
| __pycache__ | drwxr-xr-x | |
| colors.py | drwxr-xr-x | |
| full11.py | drwxr-xr-x | |
| pattern.py | drwxr-xr-x | |
| svgparser.py | drwxr-xr-x | |
| tiny12.py | drwxr-xr-x | |
| typechecker.py | drwxr-xr-x | |
| types.py | drwxr-xr-x |