apalache icon indicating copy to clipboard operation
apalache copied to clipboard

Published 20 hours ago • verified publisher icon apalache-mc

Add manual section on BAGS

Open Kukovec opened this issue 2 years ago • 2 comments

Currently the section

TLA+ Language Manual for Engineers -> The standard operators of TLA+ -> Bags

is blank. Since we now support the community modules, we need to add the docs.

Kukovec avatar Mar 28 '22 09:03 Kukovec

We also have to update the "features" page: https://apalache.informal.systems/docs/apalache/features.html

konnov avatar Mar 28 '22 14:03 konnov

Shall we plan this one in Q3? Let's maybe add the Q3 tag.

konnov avatar Jun 24 '22 06:06 konnov