As a languages geek, I had heard of tree-sitter, but had never actually looked at it.
Wow... It just totally freaks me out that someone who has the ability and desire to build a parser generator sees fit to use JSON as the input syntax.
I just cannot get that level of insanity into my head. I mean, I can understand XML folk abusing XML like that, but this is a *parser* person using *JSON*.
Is there a more readable syntax for TLA+ somewhere?
> 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+u...@googlegroups.com
> To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1cae9f6e-a19e-4ccf-8dff-8d3d07287a5an%40googlegroups.com