ott

Tool for writing definitions of programming languages and calculi
https://www.cl.cam.ac.uk/~pes20/ott/

Current versions
0.27
HEAD

ott requires the following formula to be installed:
ocaml 4.06.0 General purpose programming language in the ML family

Recent formula history

JCount ott 0.27
ilovezfs ott 0.26
Tej Chajed ott 0.25 (new formula)

Formula code at GitHub