[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Re: TLA+ tree-sitter grammar updates
Figured I would drop a note on this thread. I've started working on a web-based TLA+ interpreter/UI that makes use of the new tree-sitter grammar. See repo here: https://github.com/will62794/tla-web. A link to a live (in-progress) version is included there.
It's still a work in progress, but I figured you might be interested. Mostly, I've just wanted a nice browser based TLA+ experience for personal use for a while, so I decided to give it a go after realizing that the tree-sitter grammar could parse TLA+ in the browser. There are a bunch of additional features I'd like to add/experiment with, but this is an early prototype.
On Wednesday, January 26, 2022 at 8:28:11 PM UTC-5 andrew...@xxxxxxxxx wrote:
Don't be too disappointed in yourself lol, it took me a whole six months of full-time work on sabbatical (just for TLA+, not PlusCal). Never could have done it as a side project I don't think.
I'm interested in hearing about the experience on emacs, I haven't personally used it there.
As someone who started and abandoned a TLA+ parser project, I'm both impressed with your work and a little disappointed with myself.
Congratulations! I look forward to using it in emacs soon.
Happy to announce PlusCal support in TLA+ grammar!
The latest nvim-treesitter
revision contains all the queries necessary for syntax highlighting.
Starting this thread to contain various posts I will make concerning development, releases, uses, etc. of the TLA+ tree-sitter grammar
. Consult the repo's README for an overview of the project, or watch my TLA+ Conf 2021 talk
where I explain its capabilities and provide some demos.
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/2969878e-0e57-42ba-a6c4-73ac5582f9a6n%40googlegroups.com.