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 Readme Changelog Edit opam file Versions (12)

Authors

L

Lélio Brun

Maintainers

L

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

Sources

md5=1494ac4b54ad165d2ddea26a0f54d2dc

sha512=a911070bb474e75c9332dac208c9916ef6be2f46148cafec9ce9c920f07e782d26796cb2f77ecb7f62247c6f56a53bc34aaf66d37ce5ab6d148e1459dd61a8e0

doc/index.html

obelisk