Add support for ocaml-lsp
I think the only thing we can do here would be to use dune
instead of make
, but it would be great to get Why3 working with ocaml-lsp.
I think the only thing we can do here would be to use dune
instead of make
, but it would be great to get Why3 working with ocaml-lsp.