[tlaplus] The future of parsing TLA+

[Andrew Helwer <andrew.helwer@xxxxxxxxx>]

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!):

https://github.com/tlaplus/rfcs/issues/16

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

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/360d8757-ef44-471e-9674-1b206fb60429n%40googlegroups.com.