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 Edit opam file Versions (9)

Authors

Maintainers

H

Hannes Mehnert <hannes@mehnert.org>

Sources

sha256=ffd757e17d618a3162f0822e09b86d3879071e35378f47c9f6cdc16b757274ca

md5=bd83649b6ec5a4dbc22ed0de6a3a81f4

doc/index.html

ott