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=fd601ef958e52ca461eaff8175323416e3e524e1ba11fcf5328827ef2cb9ee3d54111843adb54d3c32e2f08c7c70214558bf5519fb8385bfa58049f22237c3c6

doc/index.html

ott