get rid of cl requirement, use idris-faces customization group
Fix File mode specification error: (wrong-type-argument symbolp (make-local-variable (quote indent-tabs-mode)))
reported by andreas bogk (@andreas23)
full text of the gplv3, as per issue #4
integrate initial copyright notice from @startling
Change indentation for "module" keyword from Haskell to Idris syntax
set comment-start for e.g. M-;

Conflicts:
	idris.el
Merge pull request #2 from startling/startling-syntax-merge

set comment-start for e.g. M-;
Allow passing command line args to interpreter
Merge pull request #5 from mjhanninen/interpreter-flags

Allow passing command line args to interpreter
initial ideslave
forgot to commit to use inferior-idris now
work on an Idris REPL
minor fixes to get it right
output of interpret is supposed to be (output value). also, keep buffer while receiving input
completions, synchronous evaluate and more
move markers on input and output, qualify output from result
proper REPL error reporting
idris-rex doesn't get any process anymore, but uses idris-process -- contain that variable in inferior-idris.el
completion works now pretty well
use key map, define proper mode