New language: SETL

backend/src/langs.ts

@@ -1541,6 +1541,13 @@ binding_irb.run(IRB.conf)
     main: "main.sed",
     run: "echo 'Reading from stdin...' >&2; sed -f main.sed",
     template: `s/.*/Hello, world!/
+`,
+  },
+  setl: {
+    name: "SETL",
+    main: "main.setl",
+    run: "setl main.setl",
+    template: `print("Hello, world!");
 `,
   },
   sh: {

scripts/docker-install-phase5.bash

@@ -199,6 +199,10 @@ metals -version </dev/null
 mkdir /opt/coursier
 mv "$HOME/.cache/coursier" /opt/coursier/cache
 
+# SETL
+wget -nv https://setl.org/setl/bin/Linux-x86-64bit/setlbin.tgz
+tar -xf setlbin.tgz -C /usr/local/bin
+
 # Snobol
 gdown "https://drive.google.com/file/d/1ygQkpgfirpq4b7s4YNsSijkK8IQgSLWk/view?usp=sharing" /usr/bin/snobol4
 chmod +x /usr/bin/snobol4