package menhir-lsp

  1. Overview
  2. Docs
LSP server for Menhir

Install 

dune-project
 Dependency

github.com Readme Edit opam file Versions (5)

Authors

  1. F
    Federico Dal Pio Luogo

Maintainers

  1. F
    Federico Dal Pio Luogo

Sources

0.0.1.tar.gz
md5=171448c5fedfdcc7757c78b04659b353
sha512=e1235c0646e6753ff18a77b1ff443abfba118efce3ee7dfaa66c45ebf8483dc804a8864db493fc0168b4f66b9721efcdf87733fa15bbe03c1e5a2a8bd6e5961d

doc/index.html

menhir-lsp