tlaplus / rfcs

RFCs for changes to the TLA+ specification language

tlaplus/rfcs Issues

Proposal to add Unicode support to the TLA+ language standard and tools
Closed 2 months ago5
Proposal to resolve grammar ambiguities
Closed 2 months ago2
Support `|S|` as alternative to `Cardinality(S)`
Updated 2 months ago
Proposal to add module package management & versioning to TLA+
Closed 5 months ago2
Publish fixed version of TLA+ 2 grammar spec
Updated a year ago2
Proposal to add `?` postfix operator
Closed a year ago2
Remove CHOOSE and recursive operators from TLA+ in favor of new FoldSet language primitive
Updated 3 years ago1
[Meta] Specify the TLA+ enhancement process
Updated 3 years ago5
[tool] Pretty Print to HTML
Updated 3 years ago5