johnynek / johnynek/rules_tla

add support for pluscal

Open
#2 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
TLA
Stars
6
Forks
0
PR merge metrics
No merged PRs in 30d

Description

the amazon paper said that many engineers preferred to work with pluscal. The translator is part of the tools, so we should be able to support it pretty easily.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.