[#24] New language: PROMELA

backend/src/langs.ts

@@ -2582,6 +2582,16 @@ pipi pikachu
 
 main :-
     write("Hello, world!"), nl.
+`,
+  },
+  promela: {
+    aliases: ["spin", "pml"],
+    name: "PROMELA",
+    main: "main.pml",
+    run: "spin main.pml",
+    template: `active proctype main() {
+  printf("Hello, world!\\n");
+}
 `,
   },
   pug: {

scripts/docker-install-phase3c.bash

@@ -88,6 +88,9 @@ rlwrap
 # Prolog
 swi-prolog
 
+# Promela
+spin
+
 # PureScript
 libtinfo5