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

Re: [tlaplus] tla+ to pluscal?

On 11.10.2018 04:13, anjana....@xxxxxxxxx wrote:
> I'm completely new to tla+.Is there are any way to convert tla spec in to pluscal? This would make it easier for programmers to understand a spec.

Hi Anjana,

transpilation from TLA+ to PlusCal doesn't exit, only the other way around.