@@ -140,7 +140,7 @@ repl orig mods
140 showM c thm n = if c then colouriseFun thm (show n)
140 showM c thm n = if c then colouriseFun thm (show n)
141 else show n
141 else show n
143−-- | Run the REPL seDver
143+-- | Run the REPL server
144startServer :: PortID -> IState -> [FilePath] -> Idris ()
144startServer :: PortID -> IState -> [FilePath] -> Idris ()
145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
145startServer port orig fn_in = do tid <- runIO $ forkOS (serverLoop port)
146 return ()
146 return ()