package obelisk

You can search for identifiers within the package.

in-package search v0.2.0

Pretty-printing for Menhir files

Install

Dune Dependency

github.com Edit opam file Versions (12)

Authors

L

Lélio Brun <lelio.brun@inria.fr>

Maintainers

L

Lélio Brun <lelio.brun@inria.fr>

Sources

md5=7901f47c113c9a2a4c105a7b8c764279

sha512=6a706b090c96b34f70f624949a463068031c9c2c2587d8eccd459612c35677b9b9b0de3b3fd91edc66ed9fc714c2a8a773287ff399ac170752faec968f80fac8

doc/index.html

obelisk