{"name":"ott","portdir":"devel/ott","version":"0.25","license":"BSD","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://www.cl.cam.ac.uk/~pes20/ott/","description":"tool for writing definitions of programming languages","long_description":"Ott is a tool for writing definitions of programming languages and calculi. It takes as input a definition of a language syntax and semantics, in a concise and readable ASCII notation that is close to what one would write in informal mathematics. It generates LaTeX to build a typeset version of the definition, and Coq, HOL, and Isabelle versions of the definition.","active":true,"categories":["devel"],"maintainers":[{"name":"ggreif","github":"","ports_count":2}],"variants":[],"dependencies":[{"type":"build","ports":["clang-9.0"]},{"type":"lib","ports":["ocaml"]}],"depends_on":[]}