idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-02 08:35:07 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #1452 from nickdrozd/emacs-doc

Browse Source 
Update Emacs idris-mode doc
This commit is contained in:
Edwin Brady 2021-07-15 23:38:26 +01:00 committed by GitHub
commit 3c88c33f15
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/source/tutorial/interactive.rst
View File

@ -21,7 +21,7 @@ section, we explain how these features can be exploited by a text
editor, and specifically how to do so in `Vim
<https://github.com/edwinb/idris2-vim>`_. An interactive mode
for `Emacs <https://github.com/idris-hackers/idris-mode>`_ is also
available (though not yet updated for Idris 2).
available, updated for Idris 2 compatability as of 23 February 2021.
Editing at the REPL
===================