Feeling a little dumb, but the answer is here:
https://github.com/nesbox/TIC-80/wiki/A-step-by-step-introduction-to-TIC-80,-Part-1:-The-Default-Cart