Hello. This pull request adds a new module named HTML.tla. This module is composed of operators that can be used to help create HTML pages. The main goal for this module was to have a way of writing, in runtime, TLA states to HTML for visualization/exploration.
lemmy
commented
2 years ago
Hello. This pull request adds a new module named HTML.tla. This module is composed of operators that can be used to help create HTML pages. The main goal for this module was to have a way of writing, in runtime, TLA states to HTML for visualization/exploration.
In this repository I have examples of usage of this module: https://github.com/afonsonf/tlaplus-html-examples.
This module is similar to the SVG.tla module, but for HTML pages. It can also be used together with the SVG module: https://github.com/afonsonf/tlaplus-html-examples/tree/main/examples/example-2.