From 44f1bccb6a398355c3b4b9e1804b58350c474398 Mon Sep 17 00:00:00 2001
From: aiya000 <aiya000.develop@gmail.com>
Date: Tue, 14 Jun 2016 01:08:32 +0900
Subject: [PATCH] Update help

Write about supporting idris
---
 doc/repl.jax | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/repl.jax b/doc/repl.jax
index dd29b0b..dc029c4 100644
--- a/doc/repl.jax
+++ b/doc/repl.jax
@@ -73,7 +73,8 @@ https://github.com/user/repl.vim
 * Haskell
 * Python (2 or 3)
 * Erlang
-* Javascript
+* Javascript (node.js)
+* Idris
 
 ==============================================================================
 使い方						*repl-usage*