We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Modular PlusCal (markdown)
TLA+ constants are accessible to archetypes.
Fix typo in mapping macro.
Update order of mapping macro declarations.
Wording fix.
Minor fixes.
Clearer wording
Delete nonsense
Statements not expressions
Interleavings.
References.
Mapping macros
First version of this document: describe general idea and archetypes.