 ;; How to create an async process
 ;; ==============================
 (defun lean-server-create-process ()
-  "Create lean-server-process"
+  "Create lean-server process."
   (let ((process-connection-type nil)
         (lean-server-process
          (start-process lean-server-process-name

    ('CHECK   ())))

(defun lean-server-send-cmd (cmd)
  "Send string to lean-server"
  (let ((proc (lean-server-get-process))
        (string-to-send (concat (lean-cmd-to-string cmd) "\n")))
    (lean-server-before-send-cmd cmd)

    ('CHECK   (lean-server-check-current-file))))

(defun lean-server-after-send-cmd (cmd)
  "Operations to perform after sending a command."
  (cl-case (lean-cmd-type cmd)
    ('LOAD    (setq lean-global-server-current-file-name
                    (lean-cmd-load-get-file-name cmd)))
