PYTZ: Compiler from Python to MLIR

PYTZ is a compiler that translates Python into MLIR written in the Michelson Dialect.

$ python3 -m venv venv
$ source venv/bin/activate
$ pip3 install -r ./examples/python/requirements.txt

type checking

$ mypy ./examples/python/<file>.py

Compile Python to MLIR

$ cargo run -- --input ./examples/python/boomerang.py --output ./boomerang.mlir