New language: Pug

backend/src/langs.ts

@@ -814,6 +814,17 @@ echo "Hello, world!\\n";
 
 main :-
     write("Hello, world!"), nl.
+`,
+  },
+  pug: {
+    name: "Pug",
+    monacoLang: "pug",
+    main: "main.pug",
+    compile: "pug main.pug",
+    run: "prettier --no-config main.html",
+    template: `html
+  body
+    p Hello, world!
 `,
   },
   python: {

scripts/docker-install-phase4.bash

@@ -55,6 +55,9 @@ cpanm -n Devel::REPL
 # PHP
 npm install -g intelephense
 
+# Pug
+npm install -g prettier pug-cli
+
 # ReasonML
 npm install -g bs-platform