package ott

You can search for identifiers within the package.

in-package search v0.2.0

Ott is 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=e0ebb3742a6632312cf4de71dad4e4eadfe420b6b86a5d6df6776c4135044ac5

md5=e05eea1b975d8612c68feec068c4b963

doc/index.html

ott