i figured out the reason it wasn't working:
i was using it in the browser .
i was able to download tic-80 for my raspberry pi, and it worked.
