[#24] New language: Idris

backend/src/langs.ts

@@ -1530,6 +1530,22 @@ l ; ; o ; * 4
     template: `procedure main ()
     write("Hello, world!")
 end
+`,
+  },
+  idris: {
+    aliases: ["idr", "idris2"],
+    name: "Idris",
+    repl: "rm -f .idris/repl/init; idris2",
+    main: "Main.idr",
+    run: "mkdir -p .idris/repl; echo ':exec main' > .idris/repl/init; idris2 Main.idr -x main; idris2 Main.idr",
+    scope: {
+      code: `x : Int
+x = 123 * 234`,
+    },
+    template: `module Main
+
+main : IO ()
+main = putStrLn "Hello, world!"
 `,
   },
   ink: {

scripts/docker-install-phase3b.bash

@@ -79,6 +79,10 @@ haxe
 # Icon
 icont
 
+# Idris
+chezscheme
+gcc
+
 # INTERCAL
 intercal
 

scripts/docker-install-phase6.bash

@@ -63,6 +63,14 @@ rm -rf erlang_ls
 # Hexagony
 git clone https://github.com/m-ender/hexagony.git /opt/hexagony
 
+# Idris
+wget -nv https://www.idris-lang.org/idris2-src/idris2-latest.tgz
+tar -xf idris2-latest.tgz
+make bootstrap-build SCHEME=chezscheme PREFIX=/usr/local
+make install PREFIX=/usr/local
+chmod -R a=u,go-w /usr/local/idris2-*
+rm -rf Idris2-* idris2-latest.tgz
+
 # Kalyn
 git clone https://github.com/raxod502/kalyn.git
 pushd kalyn >/dev/null