New language: Awk

backend/src/langs.ts

@@ -110,6 +110,14 @@ message:
     run: "./main",
     template: `val _ = print ("Hello, world!\\n")
 implement main0 () = ()
+`,
+  },
+  awk: {
+    aliases: ["gawk", "mawk"],
+    name: "Awk",
+    main: "main.awk",
+    run: `awk -f main.awk`,
+    template: `BEGIN { print "Hello, world!" }
 `,
   },
   bash: {

scripts/docker-install-phase3a.bash

@@ -25,6 +25,9 @@ asciidoc
 # ATS
 ats2-lang
 
+# Awk
+mawk
+
 # BASIC
 bwbasic