add note about mondo

This commit is contained in:
LordMZTE 2023-05-13 13:34:54 +02:00
parent f396610ca2
commit be7a9b159b
Signed by: LordMZTE
GPG key ID: B64802DC33A64FF6

View file

@ -23,7 +23,9 @@
(cmd "opam" "install" "--yes" "ocaml-lsp-server" "ocamlformat"))
;; Install CommonLisp LSP
;; Also useful for CommonLisp: `ros install koji-kojiro/cl-repl`
;; Also useful for CommonLisp:
;; - `ros install koji-kojiro/cl-repl`
;; - `ros install fukamachi/mondo`
(when (find-executable-path "ros")
(cmd "ros" "install" "lem-project/lem" "cxxxr/cl-lsp"))
null)