package ott

You can search for identifiers within the package.

in-package search v0.2.0

Ott is a tool for writing definitions of programming languages and calculi

Install

Dune Dependency

www.cl.cam.ac.uk Edit opam file Versions (9)

Authors

Maintainers

H

Hannes Mehnert <hannes@mehnert.org>

Sources

sha256=30c7613802cdd7f03eb1df1d634da3e13197e210d5697252382d29b5f03618f2

md5=42c76a821b8ba1528f6b99025cc6f2b0

doc/index.html

ott