 ;; 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

      (insert lean-global-server-current-file-name))
    lean-server-process))

(defun lean-server-get-process ()
  "Get the lean-server process.

If needed, create a one."
  (let ((proc (get-process lean-server-process-name)))
    (cond ((not proc) (lean-server-create-process))
          ((not (process-live-p proc)) (error "TODO(soonhok): need to kill and recreate one"))
          (t proc))))

(defun lean-server-get-buffer ()
  "Get the lean-server buffer"
  (process-buffer (lean-server-get-process)))

;; How to send data to an async process

    ('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)))
