It you would be nice if the resolution of the GIF file produced by MeTTaGrapher could be changed while invoked on the CLI, like ```bash metta graph --scale 2 test.metta -o test.gif ``` where `--scale 2` would upscale the resolution by 2.
It you would be nice if the resolution of the GIF file produced by MeTTaGrapher could be changed while invoked on the CLI, like
where
--scale 2would upscale the resolution by 2.