From 481a9978d5155164a7b97b94e84a884f1db5f57c Mon Sep 17 00:00:00 2001
From: 1computer1 <mineox100@gmail.com>
Date: Sun, 21 Jul 2019 19:04:52 -0400
Subject: [PATCH] Add Idris

---
 README.md            | 3 ++-
 src/struct/Myriad.js | 1 +
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 2f6287a..7f85396 100644
--- a/README.md
+++ b/README.md
@@ -23,7 +23,7 @@ int main()
 ## Supported Languages and Options
 
 One of the following language codes is set in `lang`.  
-Options are optionally set in `options`, which is a semicolon-delimited list of `flag` or `flag=value`. 
+You can see all the possible codes using the `languages` command in the bot.  
 
 - `apl` APL
 - `bash` Bash
@@ -36,6 +36,7 @@ Options are optionally set in `options`, which is a semicolon-delimited list of
 - `fs` F#
 - `go` Go
 - `hs` Haskell
+- `idr` Idris
 - `java` Java
 - `js` JavaScript
 - `julia` Julia
diff --git a/src/struct/Myriad.js b/src/struct/Myriad.js
index efafe8b..bc09240 100644
--- a/src/struct/Myriad.js
+++ b/src/struct/Myriad.js
@@ -61,6 +61,7 @@ const entries = [
     ['fsharp', ['fsharp', 'fs']],
     ['go', ['golang', 'go']],
     ['haskell', ['haskell', 'hs']],
+    ['idris', ['idris', 'idr']],
     ['java', ['java']],
     ['javascript', ['javascript', 'js']],
     ['julia', ['julia']],