Update help
Write about supporting idris
This commit is contained in:
parent
5bb0e487ba
commit
44f1bccb6a
@ -73,7 +73,8 @@ https://github.com/user/repl.vim
|
|||||||
* Haskell
|
* Haskell
|
||||||
* Python (2 or 3)
|
* Python (2 or 3)
|
||||||
* Erlang
|
* Erlang
|
||||||
* Javascript
|
* Javascript (node.js)
|
||||||
|
* Idris
|
||||||
|
|
||||||
==============================================================================
|
==============================================================================
|
||||||
使い方 *repl-usage*
|
使い方 *repl-usage*
|
||||||
|
Reference in New Issue
Block a user