@@ -51,9 +51,6 @@ The available commands include:
51 ``(:interpret STRING)``
51 ``(:interpret STRING)``
52 Interpret ``STRING`` at the Idris REPL, returning a highlighted result.
52 Interpret ``STRING`` at the Idris REPL, returning a highlighted result.
54− ``(:repl-completions STRING)``
55− Return the result of tab-completing ``STRING`` as a REPL command.
57 ``(:type-of STRING)``
54 ``(:type-of STRING)``
58 Return the type of the name, written with Idris syntax in the ``STRING``.
55 Return the type of the name, written with Idris syntax in the ``STRING``.
59 The reply may contain highlighting information.
56 The reply may contain highlighting information.
@@ -122,7 +119,7 @@ The available commands include:
122 Return the definition of ``NAME`` as a highlighted string.
119 Return the definition of ``NAME`` as a highlighted string.
124 ``(:repl-completions NAME)``
121 ``(:repl-completions NAME)``
125− Search names, types and documentations which contain ``NAME``.
122+ Search names, types and documentations which contain ``NAME``. Return the result of tab-completing ``NAME`` as a REPL command.
127 ``:version``
124 ``:version``
128 Return the version information of the Idris compiler.
125 Return the version information of the Idris compiler.