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

md5=f36d94978be65d7837fe4a1c24672d2e

sha512=f38e12c079426c5a460a9ab24e58f098410ceb5ae0284c1719c50f6d7cd88f6b9c4da6beb5425c03f2dc056c7a9cb597f9bf2983abb525e3c003e45858496ad3

doc/index.html

ott