ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-11 03:34:13 +03:00
Code Issues Projects Releases Wiki Activity

Add Vim command for declaration documentation

Browse Source
This commit is contained in:
comco 2015-09-17 18:30:30 +02:00
parent 0345e41479
commit 98d6a8750a
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/reference/documenting.rst
View File

@ -9,7 +9,7 @@ for a reader’s edification and are ignored by the compiler, and inline
API documentation, which the compiler parses and stores for future
reference. To consult the documentation for a declaration ``f``, write
``:doc f`` at the REPL or use the appropriate command in your editor
(``C-c C-d`` in Emacs, in Vim).
(``C-c C-d`` in Emacs, ``<LocalLeader>h`` in Vim).
Comments
========