how can i zip a file and download it in a .py version?
First, make sure the repl you want to download is yours. If it isn't, change one character somewhere so that the repl is forked to your account.
Then click on these 3 dots at the top left of your screen:
- In the drop down menu, Select 'Download as zip'
Hope this helped, let me know if I lost you anywhere.