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

Re: [tlaplus] REPL enhancements

Awesome feature, Will! This handles constant-level expressions?

Andrew

On Thursday, August 17, 2023 at 2:06:44 PM UTC-4 Willy Schultz wrote:
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.


https://github.com/tlaplus/tlaplus/issues/627


M.

--
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/e37b87bd-2291-42d1-8d67-09eab0971325n%40googlegroups.com.