Anton (Feb 20 2024 at 12:53): Anton (Feb 20 2024 at 12:53):Seeing @Luke Boswell use chatGPT to write roc got me thinking; can chatGPT also run roc?
Turns out it can :exploding_head:
I provided roc and basic-cli in a tar and asked it to run roc check and try to fix any errors that come up.
Anton (Feb 20 2024 at 12:55):The error I inserted was very simple but I'm curious to see how far we can push it.
Peter Marreck (Oct 22 2024 at 02:26):Just discovered this. Amazing. I thought I was limited to Python in ChatGPT4 when all you had to do was upload another language's compiler and interface with it via Python, lol. Curious to see if this still works. I may try to continue the conversation in my own account and report back, although this is probably a fairly old version of Roc at this point
Anton (Oct 22 2024 at 08:54):although this is probably a fairly old version of Roc at this point
It should be easy to make an up to date tar. I think all that is in it is the the contents of the folder inside the nightly tar with a clone of basic-cli added.
Last updated: Jul 06 2025 at 12:14 UTC