So, I’ve noticed that there are a bunch of files in the /nix/store/ directory with no way to view them. Recently, though, I just figured out how to view them.
Go to the Shell tab (it should automatically open upon creation of the Repl)
Execute the following command:
cd /nix/store/hd4cc9rh83j291r5539hkf6qd8lgiikb-python3-3.10.8/lib/python3.10
Type dir to view all the libraries and builtin files.
Type nano <file>.py to view the contents of the file. If you wish to copy the contents of the file to make it editable in the workspace, press Ctrl+O and when it asks you for the filename, delete all existing content and type /home/runner/<your-repl-slug>/file.py
no it’s not empty, there’s just too many files in /nix/store so you just choose a specific one, like for example, /nix/store/hd4cc9rh83j291r5539hkf6qd8lgiikb-python3-3.10.8/lib/python3.10