package menhirSdk
Compile-time library for auxiliary tools related to Menhir
Install
Dune Dependency
Authors
Maintainers
Sources
archive.tar.gz
md5=91aeae45fbf781e82ec3fe636be6ad49
sha512=4a7c4a72d4437940a0f62d402f783efcf357dde6f0a9e9f164c315148776e4642a822b6472f1e6e641164d110bc1ee05a6c1ad4a733f5defe4603b6072c1a34f
README.md.html
Menhir
Menhir is an LR(1) parser generator for OCaml.
Menhir has a home page.
Installation
The latest released version of Menhir can be easily installed via opam
, OCaml's package manager. Just type opam install menhir
.
For manual installation, see INSTALLATION.md.
Some instructions for developers can be found in HOWTO.md.
Authors
Contributors
Frédéric Bour (incremental engine, inspection API, attributes, SDK)
Jacques-Henri Jourdan (Coq back-end)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>