Installation
Installation is extremely easy. Just run one command and you are good to go!
curl -K https://path.to.executable/toothpick -o toothpick
To use it, simply run the executable according to the manual:
# It compiles to a .js file
./toothpick main.tp -o main.js
# It compiles and outputs to the console
./toothpick main.tp -o :stdout