~ahelwer/rstla

An industrial-strength TLA⁺ parser, written in Rust
c2fcb743 — Andrew Helwer 5 months ago
Some uncommitted changes (unsure of content)
e2f1105d — Andrew Helwer 1 year, 29 days ago
Lookahead to parse finite set constructs
4add2c9d — Andrew Helwer 1 year, 1 month ago
Continued work on parsing finite set expressions

refs

master
browse  log 

clone

read-only
https://git.sr.ht/~ahelwer/rstla
read/write
git@git.sr.ht:~ahelwer/rstla

You can also use your local clone with git send-email.