wuub/SublimeREPL — pull request #354 by laughedelic (2014-04-16 12:18:21+00:00)
Title: Added Idris repl support

Support for the [Idris](https://github.com/idris-lang/Idris-dev) lang REPL