[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] REPL enhancements

Just for reference, I've added a basic REPL prototype into the web-based TLA+ interface/interpreter. Feel free to try it out and see if it may address any of the outstanding REPL feature desires.

On Wednesday, May 19, 2021 at 7:17:45 PM UTC+1 Markus Kuppe wrote:

On 18.05.21 10:34, Markus Kuppe wrote:
> Can you please open an issue as a place to discuss technical details?
> Some of what you propose is already possible. Other enhancements
> probably need a closer look because of restrictions in TLC.



You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/bafcf648-731b-49a9-84f7-0634833d6f8en%40googlegroups.com.