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=42208e47a9dab3ca89da79c4b1063a728532343a4bf5709393bb3d673a9eaeed

md5=6284382d02bd01ed00fe0e09fe3b777f

doc/index.html

ott