package ott

You can search for identifiers within the package.

in-package search v0.2.0

A tool for writing definitions of programming languages and calculi

Install

Dune Dependency

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

Authors

Maintainers

T

Thibaut Pérami <Thibaut.Perami@cl.cam.ac.uk>

Sources

sha512=371b59c0dc35207f8e85a939f03ae63fc654df50540ed5e656c5a40c5062ebfdfb1e02cfd499074f9d0b43afc165606b57dec4c96a4ca44ee91d1c1dcfa4deaf

doc/index.html

ott