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
history, a persistent one :)
rename abort -> error, emacs-rex -> idris
compile-and-load file support
remove usage of deprecated variable
remove superfluous :idris from command
revert workarounds if we get non-sexp output from idris
provide a hook facility for events, used by repl
insert newline if needed
use the idris-interpreter-flags also in this branch