|
|
|
|
|
|
by hwayne
1196 days ago
|
|
|
I hope so! So far I've been unimpressed with ChatGPT and Copilot for generating TLA+. It mixes in idioms from other programming languages, like RETURN, which make no sense in TLA+. What I'm hoping is that it'll be helpful for writing J. That'd be a feat. |
|
|