Added inferior Idris support using comint-mode
Describe inferior-idris-mode
Very basic keyword highlighting in inferior-idris
Made keyword and comment highlighting work better in the REPL
reorder to have keywords nearby the end, just before identifiers
Merge pull request #1 from hannesm/master

reorder :)
add support for load file, including some process interaction
reset working-directory, make it buffer-local and fewer debug output
minor fix
_ and ' might occur in identifiers/names - unfortunately didn't find the magic to use 'x' as character/string, but foo' as identifier
use reload if we can
parsing of warnings and highlighting these using overlays
robustness
updates to readme
clarify sources and license
Merge pull request #2 from hannesm/master

worked on load-file... some key bindings and initial cleanup of process interaction
require cl
Fixed highlighting of "with"-definitions
Fixed highlighting of "with"-definitions
Merge remote-tracking branch 'origin/master'