idris-hackers/idris-mode — pull request #7 by hannesm (2013-05-11 19:22:32+00:00)
Title: Ideslave support

Ideslave emacs side -- please do not merge before the idris-dev #312 got merged.