@@ -60,7 +60,7 @@ runIdris :: [Opt] -> Idris ()
60runIdris opts = do
60runIdris opts = do
61 runIO setupBundledCC
61 runIO setupBundledCC
62 processShowOptions opts -- Show information then quit.
62 processShowOptions opts -- Show information then quit.
63− processClientOptions opts -- Be a client to an IDE Mode server.
63+ processClientOptions opts -- Be a client to a REPL server.
64 processPackageOptions opts -- Work with Idris packages.
64 processPackageOptions opts -- Work with Idris packages.
65 idrisMain opts -- Launch REPL or compile mode.
65 idrisMain opts -- Launch REPL or compile mode.