Quick start

Dependencies

The only one is PyTermGUI.

pip install -r requirements.txt

To run

The default

python3 solucao.py

If you have mypyc from Mypy

mypy --strict --strict-optional --pretty solucao.py

And then you can do (if you want)

mypyc solucao.py
python3 -c "import solucao; solucao.main()"

This is great for testing runtime safety due to mypy's typechecking