Sam Baxter

I've just run into the same problem and was able to work around it. Check if you have another plugin installed that provides a `typescript.vim` ftplugin that may be overriding...

Ah. We need to update the readme with new instructions. In the meantime, could you try ```bash opam pin add ocaml-z3 https://github.com/plasma-umass/ocaml-z3.git opam install ocaml-z3 ``` Let me know if...