startling/idris-mode — pull request #5 by mjhanninen (2013-04-23 17:39:30+00:00)
Title: Allow passing command line args to interpreter

Hi, I added support for passing command line arguments to the interpreter so that I could use Effects which requires passing the "-p effects" flag on the command line.