Merge pull request #17 from cfhammill/patch-1

Mention (current) lack of socket support in IDE mode
edwinb · Jan 5, 2019 · 3778b2e · 3778b2e
2 parents 3902744 + fe233c2
commit 3778b2e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Notes/IDE-mode.md b/Notes/IDE-mode.md
@@ -41,3 +41,8 @@ declared with the given name, on the given line. It will only return the
 first definition it finds, as a list of pattern clauses. This works via a
 combination of case splitting and expression search.
 
+To-Do
+-------
+
+Currently the IDE protocol does not support socket mode. This will be advantageous 
+for integrating with [emacs idris-mode](https://github.com/idris-hackers/idris-mode/issues/489).