The future of parsing TLA+

48 views
Skip to first unread message

Andrew Helwer

unread,
Dec 12, 2024, 10:45:11 AMDec 12
to tlaplus
Following the long discussion at the last community meeting about unifying the TLA+ parsers I opened a RFC (to be taken literally - your comment is requested!):


It is quite long but I lay out my perspective and welcome others. Hopefully if we all read each others' comments we can have a shorter discussion at the next meeting, or in a parser-specific working group.

In the near future we are punting on this question by me just working on a large semantic test corpus.

Andrew Helwer
Reply all
Reply to author
Forward
0 new messages