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

md5=8aee607f1a386b3e12b1dfe0c2cf7ca1

doc/index.html

ott