From 592216029087fb8431729b6e8010196be2f7fee1 Mon Sep 17 00:00:00 2001
From: vzwGrey <vzwgrey@gmail.com>
Date: Mon, 22 Jul 2019 00:53:23 +0200
Subject: [PATCH] Add docker image for executing Idris

---
 languages/idris/Dockerfile | 7 +++++++
 languages/idris/run.sh     | 2 ++
 2 files changed, 9 insertions(+)
 create mode 100644 languages/idris/Dockerfile
 create mode 100644 languages/idris/run.sh

diff --git a/languages/idris/Dockerfile b/languages/idris/Dockerfile
new file mode 100644
index 0000000..3ce5f99
--- /dev/null
+++ b/languages/idris/Dockerfile
@@ -0,0 +1,7 @@
+FROM alpine:edge
+
+RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
+    apk update && \
+    apk add idris@testing
+
+COPY run.sh /var/run/
diff --git a/languages/idris/run.sh b/languages/idris/run.sh
new file mode 100644
index 0000000..d9410d5
--- /dev/null
+++ b/languages/idris/run.sh
@@ -0,0 +1,2 @@
+printf %s "$1" > Main.idr
+idris --execute ./Main.idr || true