hello world pcal

2019-12-03 21:48:57 +08:00 · 2019-12-03 21:48:57 +08:00 · 2c48c38e12
parent dcc71f4779
commit 2c48c38e12
1 changed files with 8 additions and 0 deletions
--- a/tlaplus/gossip/hello.tla
+++ b/tlaplus/gossip/hello.tla
@ -0,0 +1,8 @@
+EXTENDS TLC
+
+(* --algorithm hello_world
+variable s \in  {"Hello", "World!"};
+begin
+  A:
+    print s;
+end algorithm; *)