From 6a89992c8d78eefcbd68c31e0d2db732928f4aff Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 27 Sep 2020 20:29:00 -0700
Subject: [PATCH] [#24] New language: Dafny

---
 backend/src/langs.ts                | 11 +++++++++++
 scripts/docker-install-phase3a.bash |  4 ++++
 2 files changed, 15 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index f7fbee7..5742b96 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -849,6 +849,17 @@ void main()
 {
     writeln("Hello, world!");
 }
+`,
+  },
+  dafny: {
+    aliases: ["dfy"],
+    name: "Dafny",
+    main: "main.dfy",
+    compile: "dafny main.dfy",
+    run: "mono main.exe",
+    template: `method Main() {
+  print "Hello, world!\\n";
+}
 `,
   },
   dart: {
diff --git a/scripts/docker-install-phase3a.bash b/scripts/docker-install-phase3a.bash
index 01f6c3f..bd3396f 100755
--- a/scripts/docker-install-phase3a.bash
+++ b/scripts/docker-install-phase3a.bash
@@ -106,6 +106,10 @@ crystal
 # Curry
 pakcs
 
+# Dafny
+dafny
+mono-runtime
+
 # Dart
 dart